An update of Peter Norvig's "Prolog in Common Lisp".
|Source code repository|
The original engine has been updated to conform to ISO prolog semantics, including slightly complex cases involving the cut. The obscure bugs (mostly involving the behaviour of the cut in conjunction and disjunction) are fixed. There are some relatively non-obscure bugs remaining, in mismatches between the CL and Prolog stream concepts, in bagof and setof, and in the non-ISO equivalence of functorial and list expressions.
You must be logged to add a note
You must be logged to add a comment