Skip to main content

swiplserver integrates SWI Prolog with Python.

Project description


Note that swiplserver 1.0 changes the names of classes from previous versions in an incompatible way -- the terminology changed from 'language server' to 'machine query interface (MQI)'. You'll need to update your code as you transition. The names should be stable from version 1.0 on, however.

The swiplserver module provides a set of classes to call SWI Prolog from Python. It allows running any query from Python that could be executed from the SWI Prolog console (i.e. the "top level"). Answers to Prolog queries are returned as JSON.

The library uses a SWI Prolog interface called the Machine Query Interface ('MQI') that allows Prolog queries to be executed. It also manages launching and shutting down SWI Prolog automatically, making the process management invisible to the developer. The whole experience should feel just like using any other library.

from swiplserver import PrologMQI, PrologThread

with PrologMQI() as mqi:
    with mqi.create_thread() as prolog_thread:
        result = prolog_thread.query("member(X, [color(blue), color(red)])")

[{'X': {'functor': 'color', 'args': ['blue']}},
 {'X': {'functor': 'color', 'args': ['red']}}]

To install and learn how to use the swiplserver Python library, see the docs.

Supported Configurations

Should work on:

  • MQI protocol version 1.x or prior
  • SWI Prolog 8.2.2 or greater (may work on older builds, untested)
  • Any Mac, Linux Variants or Windows that are supported by SWI Prolog
  • Python 3.7 or later (may work on older builds, untested)

Has been tested with:

  • Ubuntu 20.04.2 + SWI Prolog 8.3.22 + Python 3.7.8
  • Windows 10 Pro 64 bit + SWI Prolog 8.3.27 + Python 3.7.0
  • Windows 8.1 Pro 64 bit + SWI Prolog 8.2.4 + Python 3.8.1
  • MacOS Catalina/Big Sur + SWI Prolog 8.3.24 + Python 3.7.4


If you're interested in rough performance overhead of the approach this library takes. On a late 2013 macbook pro the per call overhead of the library for running a Prolog query is about:

  • 170 uSec per call using TCP/IP localhost
  • 145 uSec per call using Unix Domain Sockets

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

swiplserver-1.0.2.tar.gz (18.3 kB view hashes)

Uploaded Source

Built Distribution

swiplserver-1.0.2-py3-none-any.whl (18.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page