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

prolog-reasoner

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

zincbase

A state of the art knowledge base

fuzzy-reasoner

Simple symbolic reasoner which supports fuzzy unification in Python

py-xsb

Python interface for XSB

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.

calculemus

Logical verification of probabilistic/language model 'intuitions'.

timewarp-ide

Educational Programming IDE with Multi-Language Support

pieprolog

Prolog implemented in Python

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.