Logic Programming Python Packages

minikanren

An extensible, lightweight relational/logic programming DSL written in pure Python

logical-unification

Straightforward unification in Python that's extensible via generic functions.

clingo

🦉 A grounder and solver for logic programs.

pyswip

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

pyresin

Reactive probabilistic logic programming with Reactive Circuits: exact, incremental inference over asynchronous data streams.

synalog

Logic programming for AI agents: Datalog-family language compiling to optimized SQL

pymetta

MeTTa, Hyperon's AGI language, based on PeTTa semantics with significant extensions.

pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

tiny-datalog

Datalog as an executable textbook — one readable engine and supporting lessons.

nemo-python

A fast in-memory rule engine

clingo-funasp

🦉 A grounder and solver for logic programs.

neuralogic

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

nocturnusai

Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get deterministic answers with proof, not LLM guesses. Connect agents via MCP, Python SDK, TypeSc

xclingo

A tool for explainability and debugging in Answer Set Programming.

calchylus

Lambda Calculus with Hy - Docs: http://calchylus.readthedocs.io/

pyxlog

XLOG is a GPU-native logic programming language for unified symbolic reasoning. GPU-accelerated Datalog engine with probabilistic inference, inductive logic programmimg, and neural-symbolic integration.

pytholog

Python library that enables using prolog syntax and logic programming in python

drolta

A Datalog-inspired query language for expressive queries against SQLite databases in Python

prolog-reasoner

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

pynorm

Neural Logic Programming Language

iclingo

🔴🟢🔵 clingo kernel for Jupyter

pasp-plp

Differentiable probabilistic answer set programming

linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.