clam3

Prolog implementation of proof planner with critics, and some higher-order unification, in the v3 branch of Clam.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element