-
LogicalWorld A propositional logic system. I intended a query-answer system on the facts of the World. The system is very restricted first order. Key concepts: axioms x model matrix, mgu vector is a model.
-
Prover A simple prover based on resolution principle. Intended to get all proofs from given axioms.