/cheapViews

Primary LanguageJuliaMIT LicenseMIT

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.