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.

pyreason

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

xclingo

A tool for explainability and debugging in Answer Set Programming.

pytholog

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

nocturnusai

Python SDK for NocturnusAI — a logic-based inference engine and knowledge database

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.

logica

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

prolog-reasoner

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

ltn

Deep Learning and Logical Reasoning from Data and Knowledge

clingo-funasp

🦉 A grounder and solver for logic programs.

pynorm

Neural Logic Programming Language

calchylus

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

iamai-adapter-kook

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-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-apscheduler

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

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-bililive

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-dingtalk

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-gensokyo

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-cqhttp

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