yakuza8 / first-order-predicate-logic-theorem-prover Star 10 Code Issues Pull requests Autonomous Theorem Prover for First Order Predicate Logic ai theorem-proving first-order-logic artificial-intelligence tautology theorem-prover first-order-unification subsumption first-order-substitution tautology-checking most-general-unifier subsumption-elimination Updated Jun 29, 2020 Python
plazajan / Propositional-Resolution Star 0 Code Issues Pull requests 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