first-order-logic topic
acl2
ACL2 System and Books as Maintained by the Community
Julog.jl
A Julia package for Prolog-style logic programming.
Awesome-Neural-Logic
Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。
awesome-deeplogic
A collection of papers of neural-symbolic AI (mainly focus on NLP applications)
pyprover
Resolution theorem proving for predicate logic in pure Python.
metis
An automatic theorem prover for first order logic with equality
consistency
Implementation of models in our EMNLP 2019 paper: A Logic-Driven Framework for Consistency of Neural Models
layer_augmentation
Implementation of the NLI model in our ACL 2019 paper: Augmenting Neural Networks with First-order Logic.
lsw2
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data