PyRank

Prolog Python Packages

Python packages with the GitHub topic prolog. Sorted by monthly downloads, with stars and forks.
yuce
pyswip

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

21K 548 105
MesTTo
pymetta

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

5K 0 1
evgskv
logica

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

3K 2K 113
LogtalkDotOrg
logtalk-jupyter-kernel

A Jupyter kernel for Logtalk

1K 15 1
mnoorfawi
pytholog

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

482 131 22
complexdb
zincbase

A state of the art knowledge base

281 168 15
rikarazome
prolog-reasoner

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

267 12 1
chanind
fuzzy-reasoner

Simple symbolic reasoner which supports fuzzy unification in Python

184 7 2
gooofy
py-xsb

py-xsb is a Python - XSB bridge enabling querying XSB in your Python programs. It features a ctypes mapping of XSB's C-Interface as well as some higher level convenience wrappers.

137 6 2
machina-ratiocinatrix
calculemus

Logical verification of probabilistic/language model 'intuitions'.

102 0 1
ahmed-khalil-hafsi
p2clpfd

Procurement allocation optimizer: the lowest-TCO supplier award under capacity, MOQ, share caps and dual-sourcing rules — proven optimal, and explainable to the people who question it. Open source (GPLv3), constraint-programming based, agentic-first.

89 1 2
James-HoneyBadger
timewarp-classic

Multi-language IDE supporting 9 vintage & modern languages (BASIC, Logo, Pascal, Prolog, Forth, Perl, PILOT, Python, JavaScript) with turtle graphics, syntax highlighting, and themes. Built with Python + Tkinter.

68 1 0
robjsliwa
pieprolog

Prolog implemented in Python

57 12 5
James-HoneyBadger
timewarp-ide

Time Warp Studio is a unified desktop programming environment designed for educators and students. It brings together 9 active programming languages into a single, modern IDE. Built with Python and PySide6 (Qt6), it provides an integrated platform for learning programming concepts, exploring vector turtle graphics, and working through structured le

47 24 1
Vekteur
vprolog

Interpreter for a subset of Prolog in Python

32 1 0
gooofy
zamia-prolog

Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.

29 20 2