PySwip

Python-Prolog Interface

Powered by SWI-Prolog

PySwip provides a Python interface to SWI-Prolog, which is the most popular Prolog implementation today with a large community.

PySwip has no dependencies beyond the Python standard library. It runs on Linux, MacOS, Windows, OpenBSD and everywhere else SWI-Prolog runs.

PySwip is maintained by its community. It was used in PhD and master's theses, scientific papers, student projects and a book.