First Order Logic Python Packages

tarski

Tarski - An AI Planning Modeling Framework

pyprover

Resolution theorem proving for predicate logic in pure Python.

amr-logic-converter

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

tensor-theorem-prover

Customizable first-order logic theorem prover supporting approximate vector similarity in unification

autstr

Infinite data structures in python

tarski-tmp

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

mathesis

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

pygplib

Python First-Order Graph Property Library

psitip

Python Symbolic Information Theoretic Inequality Prover

pythogic

Python package for deal with logical formulas and formal systems

logiclib

A Python library for first-order logic.

folpy

First Order Logic Python Library

pydavid

A simple Python interface of Open-David

termination

A library for first-order term-rewriting

tarski-lapkt

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

first-order

Simple first-order logic library