SWI-Prolog Main development repository

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

An X11 window manager written in Prolog

Parser for Attempto Controlled English (ACE)

Translate XML Schema into equivalent JSON Schema

A terse declarative logic programming language

GNU-Make-like utility for managing builds and complex workflows

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

A collection of Prolog libraries.

Run SWI-Prolog in your browser using WebAssemply

:crossed_swords: Game of Thrones character database and family trees in Prolog

logic programming with SPARQL

OWL verbalizer: making machine-readable knowledge also human-readable

Prolog HTTPS Servers

Text templating processor for SWI-Prolog.

Call Julia code from Prolog

Blogging/CMS framework for SWI-Prolog.

Markdown parser for SWI-Prolog.

Randomized testing for Prolog à la QuickCheck

Symbolic computer vision tool

Debug Adapter Protocol (DAP) implementation for SWI-Prolog

Prolog Reverse Proxy

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

IRC Bot Written in Prolog

Simple Prolog to JS transpiler

Tartarus is a multi-agent emulator for Static as well as Mobile Agents.

Advanced support for working with RDF in Prolog.

A program that allows you to translate neural networks created with Keras to fuzzy logic programs, in order to tune these networks from a given dataset.

A library for visualizing graphs in Prolog.

SWI-Prolog Logical Programming Languages