PyRank

Logic Programming Python Packages

Python packages with the GitHub topic logic-programming. Sorted by relevance, with stars and monthly downloads.
pythological
logical-unification

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

1.2M 53 7
pythological
minikanren

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

1.2M 245 21
potassco
clingo

🦉 A grounder and solver for logic programs.

129K 800 98
yuce
pyswip

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

23K 549 105
simon-kohaut
pyresin

Reactive and asynchronous probabilistic logic programming and model counting.

11K 1 0
potassco
clingo-funasp

🦉 A grounder and solver for logic programs.

9K 800 98
mnoorfawi
pytholog

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

6K 131 22
evgskv
logica

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

4K 2K 109
retrofor
iamai

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

4K 28 11
LukasZahradnik
neuralogic

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

2K 310 24
lab-v2
pyreason

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

2K 344 39
Auctalis
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

2K 3 0
bramucas
xclingo

A tool for explainability and debugging in Answer Set Programming.

698 15 6
logictensornetworks
ltn

Deep Learning and Logical Reasoning from Data and Knowledge

698 366 71
rikarazome
prolog-reasoner

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

564 10 1
retrofor
iamai-adapter-kook

kook adapter for iamai.

559 28 11
reasoned-ai
pynorm

Neural Logic Programming Language

553 9 1
retrofor
iamai-adapter-console

Console adapter for iamai.

530 28 11
retrofor
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.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

525 28 11
retrofor
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.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

498 28 11
retrofor
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.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

493 28 11
retrofor
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.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

493 28 11
retrofor
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.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

489 28 11
ShiJbey
drolta

A SQLite query engine for simplified, composable, and declarative queries.

484 0 0