cancelpublished Abductive reasoning made easy with Prolog and Constraint Handling Rules

status will change from published to submitted

validating...