CHAP is a program for positional theorem proving in chess.
uses a provably superior, but computationally less tractable,
approach to playing chess.
The idea is to learn cross-domain
relationships from chess to real life.
CHAP2 uses the formalog
system to enable integration between Prolog and Perl, to make it
that much easier to develop for it.
It will still employ the same
UI, once it is ported to work with formalog.
But the advantage
will be a better approach to using Prolog (using
Language::Prolog::Yaswi) than was possible with the original chap
program (using ai::Prolog).