Search 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

logtalk-jupyter-kernel

A Jupyter kernel for Logtalk

prolog-reasoner

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

logica

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

zincbase

A state of the art knowledge base

fuzzy-reasoner

Simple symbolic reasoner which supports fuzzy unification

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.

calculemus

Logical verification of probabilistic/language model 'intuitions'.

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.

vprolog

Interpreter for a subset of Prolog in Python

pieprolog

Prolog implemented in Python

timewarp-ide

Educational Programming IDE with Multi-Language Support

zamia-prolog

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