sazare / cheapViews

cheaplogic

1. 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.

2. Prover A simple prover based on resolution principle. Intended to get all proofs from given axioms.