Directory | Tags | Index | LinkIt | Submit   | Help
    Wednesday, 17 September 2014 - 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

PAIPROLOG
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".

eMail
Web site
Mailing list
Version -
MaturityStable
OS compatibility
ASDF installableNo
Official Downloadhttp://www-jcsu.jesus.cam.ac.uk/~csr21/paiprolog-0.0.svn30.tar.gz
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

Tags

Prolog | Open Source

See Also

Paradigms of Artificial Intelligence Programming

Linked from these items

cl-kanren-trs

0 Notes and 0 comments

0 Notes

You must be logged to add a note


0 Comments

You must be logged to add a comment