first-order-logic

Star

Here are 193 public repositories matching this topic...

Language:All

Filter by language

All193 Python66 Java13 Prolog11 Jupyter Notebook10 TeX9 C++8 JavaScript8 Haskell6 OCaml6 TypeScript6

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

acl2 /acl2

Star411

ACL2 System and Books as Maintained by the Community

common-lisp logic theorem-proving first-order-logic formal-methods formal-verification theorem-prover rewriting acl2

UpdatedNov 28, 2025
Common Lisp

ccclyu /awesome-deeplogic

Star286

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

first-order-logic psl reasoning neuro-symbolic-learning paper-list deep-logic-model

UpdatedAug 17, 2024

LAMDASZ-ML /Awesome-LLM-Reasoning-with-NeSy

Star214

✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models

machine-learning awesome reinforcement-learning first-order-logic artificial-intelligence planning knowledge-graph logic-programming papers reasoning visual-reasoning neuro-symbolic neuro-network embodied-ai large-language-models llm-agent gpt-4o deepseek-r1

UpdatedJun 19, 2025

ztangent /Julog.jl

Star177

A Julia package for Prolog-style logic programming.

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

UpdatedFeb 5, 2023
Julia

FLHonker /Awesome-Neural-Logic

Star139

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

neural-network logic first-order-logic markov logic-programming causality causal-inference causal inductive-logic-programming

UpdatedOct 13, 2020

evhub /pyprover

Sponsor

Star96

Resolution theorem proving for predicate logic in pure Python.

python theorem-proving first-order-logic prover coconut theorem-prover

UpdatedNov 20, 2023
Python

aig-upf /tarski

Star72

Tarski - An AI Planning Modeling Framework

first-order-logic python3 strips automated-planning functional-strips

UpdatedMar 4, 2024
Python

MarisaKirisame /first_order_logic_prover

Star60

theorem-proving first-order-logic

UpdatedFeb 27, 2018
C++

ai4reason /Prover9

Star55

Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

computer-science logic theorem-proving first-order-logic mathematics model-checking theorem-prover

UpdatedJan 26, 2024
C

cheuktingli /psitip

Star46

Python Symbolic Information Theoretic Inequality Prover

python optimization information-theory theorem-proving first-order-logic prover theorem-prover

UpdatedJun 10, 2025
Python

utahnlp /layer_augmentation

Star43

Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.

logic first-order-logic pytorch attention attention-mechanism snli nli decomposable-attention acl2019

UpdatedNov 3, 2020
Python

utahnlp /consistency

Star31

Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models

consistency logic first-order-logic pytorch regularization bert loss-functions snli mscoco mnli nli emnlp2019

UpdatedJun 13, 2021
Python

gilith /metis

Star31

An automatic theorem prover for first order logic with equality

first-order-logic sml theorem-prover

UpdatedJul 14, 2020
Standard ML

alanruttenberg /lsw2

Star30

OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data

sparql common-lisp first-order-logic semantic-web owl ontology reasoning owl-api

UpdatedAug 19, 2025
JavaScript

DigitalFormalLogic /mathesis

Star28

Python library for computational formal logic, formal semantics, and theorem proving

semantics proof logic philosophy first-order-logic propositional-logic prover mathematical-logic formal-logic symbolic-logic philosophical-logic

UpdatedMay 25, 2025
Python

LHRLAB /NQE

Star25

[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".

first-order-logic pytorch transformer knowledge-graph fuzzy-logic hyper-relational multi-hop-reasoning logical-reasoning query-embedding

UpdatedSep 22, 2025
Python

knowsys /TheoLog

Star24

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

german first-order-logic teaching complexity turing-machine theoretical-computer-science teaching-materials

UpdatedJul 15, 2024
TeX

nclarius /pyPL

Sponsor

Star20

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

proof logic first-order-logic model-checking propositional-logic model-checker model-extraction modal-logic theorem-prover intuitionistic-logic predicate-logic classical-logic analytic-tableaux model-generation

UpdatedAug 22, 2025
Python

RichardMoot /LinearOne

Star20

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

latex theorem-proving first-order-logic logic-programming swi-prolog linear-logic proof-net displacement-calculus-grammars

UpdatedNov 12, 2020
Prolog

roberthoenig /FirstOrderLogic.jl

Star19

Julia package for parsing, manipulating and evaluating formulas in first-order logic.

julia logic first-order-logic satisfiability-solver

UpdatedFeb 4, 2020
Julia

Improve this page

Add a description, image, and links to thefirst-order-logic 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 thefirst-order-logic topic, visit your repo's landing page and select "manage topics."

Learn more

Movatterモバイル変換

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly