CHAP2

Brief: Extends CHAP with updated Formalog architecture
Jump To: Parent Description
Code: GitHub

  • CHAP is a program for positional theorem proving in chess. It 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).