Logic Programming Python Packages

logical-unification

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

minikanren

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

clingo

🦉 A grounder and solver for logic programs.

pyswip

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python 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

pyreason

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

pytholog

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

iamai

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

neuralogic

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

prolog-reasoner

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

logica

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

xclingo

A tool for explainability and debugging in Answer Set Programming.

ltn

Deep Learning and Logical Reasoning from Data and Knowledge

pynorm

Neural Logic Programming Language

clingo-funasp

🦉 A grounder and solver for logic programs.

iamai-adapter-apscheduler

apscheduler adapter for iamai.

iamai-adapter-kook

kook adapter for iamai.

iamai-adapter-dingtalk

Dingtalk adapter for iamai.

iamai-adapter-console

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

iamai-adapter-red

Red adapter for iamai.

iamai-adapter-bililive

bililive adapter for iamai.

iamai-adapter-gensokyo

Gensokyo adapter for iamai.

iamai-adapter-cqhttp

CQHTTP adapter for iamai.

calchylus

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