Directory | Tags | Index | LinkIt | Submit   | Help
    Wednesday, 21 November 2018 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > Programming Languages > Prolog

View the dependency graph for this library

Created by Edi on: Fri, 05 Jan 2007 11:27:16 GMT, Last modification: Fri, 05 Jan 2007 11:27:16 GMT

An update of Peter Norvig's "Prolog in Common Lisp".

Web site
Mailing list
Version -
OS compatibility
ASDF installableNo
Official Download
Mirrored Download
Source code repository

An update of Peter Norvig's Prolog in Common Lisp implementation.

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.

Authors and Maintainers

Peter Norvig | Christophe Rhodes


Prolog | Open Source

See Also

Paradigms of Artificial Intelligence Programming

Linked from these items


0 Notes and 0 comments

0 Notes

You must be logged to add a note


You must be logged to add a comment