LISP PROJECTS (20)
About Prolog

The entries in this category are:

  • Allegro Prolog

    Prolog is a logic programming language built around a backward-chaining inference engine. Allegro Prolog is a highly efficient implementation of Prolog within Common Lisp. There are extensions for interfacing in both directions with Lisp code, for unifying against Lisp object slots, and for interfacing the inference engine to Lisp databases.