Changes for version 0.73

  • Added AI::Prolog::Cookbook as an introduction to common problems encountered when working with Prolog. TermList->to_string now causes listings to look very similar to SWI-Prolog. Much easier to read. Term->to_string now identifies variables by letter, not /_\d+/. Completed decoupling of AI::Prolog::Parser from the engine.

Documentation

A simple Prolog shell using AI::Prolog.
Builtin predicates that AI::Prolog supports
The what and the why of logic programming.

Modules

Perl extension for logic programming.
Create a choicepoint object for the Engine.
Run queries against a Prolog database.
The code for running aiprolog builtins
The Prolog database.
A simple Prolog parser.
The AI::Prolog Preprocessor
The AI::Prolog math macro
Create Prolog Terms.
Perl implementation of the Prolog cut operator.
Perl implementation of Prolog numbers.
Create lists of Prolog Terms.
Perl implementation of Prolog clauses.
Perl implementation of Prolog primitives.
Perl implementation of Prolog "step" mechanism.