Login/Register to vote and to have access to more featuresYou are here: Root > Programming Languages > Prolog
View the dependency graph for this libraryPAIPROLOG
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 | - |
| Maturity | Stable |
| OS compatibility | |
| ASDF installable | No |
| Official Download | http://www-jcsu.jesus.cam.ac.uk/~csr21/paiprolog-0.0.svn30.tar.gz |
| Mirrored Download | |
| 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.
Authors and Maintainers
Peter Norvig | Christophe Rhodes
Tags
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
0 Comments
You must be logged to add a comment