Collection of prop-logic and FOL exercises solved in Coq
-
Updated
Dec 2, 2017 - Coq
Collection of prop-logic and FOL exercises solved in Coq
Bank Churn
Robinson's Unification Algorithm of First Order Logic Terms
Propositional logic and FOL proofs (froward style)
A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)
Implemention of common resolution refutation strategies
General purpose programming language implementation
Ontological Interpretations for Web Property Graphs
A Julia package for Prolog-style logic programming.
Add a description, image, and links to the fol topic page so that developers can more easily learn about it.
To associate your repository with the fol topic, visit your repo's landing page and select "manage topics."