Allegro Prolog™

A classic AI programming language in Allegro CL for Logic Programming

• Provides Prolog as an integrated extension for Common Lisp programs
• Based on the implementation developed by Peter Norvig
• All rules for a given functor/arity pair are automatically compiled into a single, highly-optimized Lisp function, execution speed in excess of 1 Mlips can be attained on typical hardware
• The Prolog engine has been optimized to run essentially cons free
• Allegro Prolog does not attempt to be ISO compliant or implement the entire language. Many standard Prolog arithmetic, predicate operators, and I/O operators are not implemented, as they are a subset of the standard Common Lisp operators

The documentation for Allegro Prolog is here.

Visit the Tech Corner for more details.