There are 0 repository under fol topic.
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
Propositional logic and FOL proofs (froward style)
Collection of prop-logic and FOL exercises solved in Coq
Robinson's Unification Algorithm of First Order Logic Terms
Bank Churn
Implemention of common resolution refutation strategies