Giters

sameeravithana / FOL_Refutation_Prover

Refutation Prover for FOL using First-Order Resolution

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

first-order-logicresolution-proofrefutation-resolutionlogical-reasoning

FOL_Refutation_Prover

Refutation Prover for FOL using First-Order Resolution

  • Unification algorithm
  • FOL-to-CNF algorithm
  • Resolution algorithm

About

Refutation Prover for FOL using First-Order Resolution

first-order-logicresolution-proofrefutation-resolutionlogical-reasoning

License:GNU General Public License v3.0

Languages

Language:Python 100.0%