Propositional theorem prover - resolution with pure literal elimination and subsumption elimination, implemented in ISO Prolog. Educational software.
logic
prolog
propositional-logic
theorem-prover
propositional-calculus
educational-software
propositional-resolution
classical-logic
subsumption-elimination
propositional
pure-literal-elimination
-
Updated
Apr 28, 2024 - Prolog