First Order Logic Python Packages

pyprover

Resolution theorem proving for predicate logic in pure Python.

tarski

Tarski - An AI Planning Modeling Framework

unicode-fol-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

tensor-theorem-prover

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

amr-logic-converter

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

unicode-logic-kit

Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server

tarski-tmp

Tarski - An AI Planning Modeling Framework

autstr

Infinite data structures in python

mathesis

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

pythogic

A Python package for deal with logical formulas and formal systems (e.g. FOL)

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

termination

A library for first-order term-rewriting

first-order

Simple first-order logic library

tarski-lapkt

Tarski - An AI Planning Modeling Framework