#

fol

Here are 7 public repositories matching this topic...

ztangent / Julog.jl

Star

A Julia package for Prolog-style logic programming.

julia logic prolog first-order-logic logic-programming fol

Updated Mar 24, 2021
Julia

cmungall / owlstar

Star

Ontological Interpretations for Web Property Graphs

rdf semantics logic owl knowledge-graph fol probabilistic-models semweb rdfstar

Updated Mar 19, 2021
Makefile

MatthiasNickles / fol2asp

Star

A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)

open-source ai first-order-logic logic-programming fol answer-set-programming satisfiability nonmonotonic stable-model-semantics

Updated Jul 16, 2021
Scala

SvenWille / CoqLogicExercises

Star

Collection of prop-logic and FOL exercises solved in Coq

coq logic exercise propositional-logic fol

Updated Dec 2, 2017
Coq

SvenWille / LogicForwardProofs

Star

Propositional logic and FOL proofs (froward style)

logic exercise isabelle propositional-logic isabelle-hol natural-deduction fol fitch-proofs

Updated Dec 2, 2017
Isabelle

oscarftoro / Rivano

Star

Little Programming Language to express First Order Logics

fsharp dsl logic fol

Updated Jun 12, 2017
F#

SamriddhiJain / Resolution-Refutation

Star

Implemention of common resolution refutation strategies

resolution theorem-proving unification fol

Updated Feb 20, 2017
Java

Improve this page

Add a description, image, and links to the fol topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the fol topic, visit your repo's landing page and select "manage topics."