The Perl Toolchain Summit needs more sponsors. If your company depends on Perl, please support this very important event.

Changes for version 0.72

  • Move builtins to their own class, AI::Prolog::Engine::Builtins Non-existent predicates now issue a warning even if trace is off. Added new predicates: halt/0 -- currently a no-op outside of the aiprolog shell help/0 -- list all builtin predicates for which help is available help/1 -- list help for builtin predicate write/1 writeln/1 Added ** operator (pow/1) to math preprocessor. Leaving it out earlier was an oversight.

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.