Logic Engines

• "simple" - prolog-like engine with some simple 2nd order infon logic support. linear but incomplete.
• based on Propositional Primal Infon Logic:
  • BPIL - Basic Primal Infon Logic. Linear in propositional case.
  • SPIL - BPIL + Conjunctions and Disjunctions as sets. Linear in propositional case.
  • TPIL - BPIL + transitive rule. Quadratic in propositional case.
• UFOL - allows for expressions in the universal fragment of first order logic. Negation and disjunction are allowed, but be aware that failure to infer a given formula is not equivalent to ability to infer its negation. In the same tone, ability to infer a disjunction is not equivalent to ability to infer any of its disjuncts.
• datalog - the datalog engine takes advantage of Propositional Primal Infon Logic translation to Datalog, and it employs Z3's datalog solver as backend.