First Order Logic Python Packages

tarski

Tarski - An AI Planning Modeling Framework

pyprover

Resolution theorem proving for predicate logic in pure Python.

tarski-tmp

Tarski - An AI Planning Modeling Framework

amr-logic-converter

Convert Abstract Meaning Representation (AMR) into first-order logic

tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

mathesis

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

pythogic

Python package for deal with logical formulas and formal systems

pygplib

Pygplib: Python First-Order Graph Property Library

psitip

Python Symbolic Information Theoretic Inequality Prover

logiclib

A Python library for first-order logic.

folpy

First Order Logic Python Library

pydavid

A Python interface of Open-David, an abductive reasoner

first-order

Simple first-order logic library

tarski-lapkt

Tarski is a framework for the specification, modeling and manipulation of AI planning problems.

termination

A library for first-order term-rewriting