Prolog Python Packages

pyswip

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

pytholog

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

logica

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

logtalk-jupyter-kernel

A Jupyter kernel for Logtalk

zincbase

A state of the art knowledge base

prolog-reasoner

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

fuzzy-reasoner

Simple symbolic reasoner which supports fuzzy unification in Python

calculemus

Logical verification of probabilistic/language model 'intuitions'.

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.

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.

pieprolog

Prolog implemented in Python

timewarp-ide

Time Warp Studio is a unified desktop programming environment designed for educators and students. It brings together 12 programming languages spanning six decades of computing history into a single, modern IDE. Built with Python and PySide6 (Qt6), it provides an integrated platform for learning programming concepts, exploring vector turtle graphic

vprolog

Interpreter for a subset of Prolog in Python

zamia-prolog

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