SWI-Prolog

swipl

SWI-Prolog stable releases

packages-jpl

JPL: The Prolog <-> Java interface

packages-cpp

The SWI-Prolog C++ interface

packages-chr

CHR: Leuven Constraint Handling Rules

sCASP

Top-down interpreter for ASP programs with Constraints

plweb

SWI-Prolog web server sources for www.swi-prolog.org

bench

Prolog benchmarks (`van Roy' set)

docker-swipl

Docker images for SWI-Prolog

docker-swish

Docker file for SWISH

packages-clpqr

CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck

issues

Dummy repository for issue tracking

packages-clib

Assorted external libraries: processes, sockets, MIME, CGI, etc.

packages-inclpr

Constraint solver for nonlinear (polynomial) constraints over reals

packages-cql

High level database interface

packages-RDF

The SWI-Prolog RDF/XML parser

docker-swipl-build-mingw

Docker to cross-compile SWI-Prolog for Windows

packages-PDT

Support files for PDT: Prolog Development Tools

plweb-www

Submodule of plweb.git that contains the (wiki) web-pages

docker-swish-public

Docker spec used to run the public swish instance

packages-bdb

The SWI-Prolog BerkelyDB interface

packages-cppproxy

A network-based SWI-Prolog <-> C++ interface

plweb-examples

distro-debian

Configuration files for creating a Debian package

docker-swipl-linux-ci

Docker files for testing builds on various Linux distros and versions

packages-archive

Interface to libarchive

plweb-blog

Blog posts on SWI-Prolog

py-swi-prolog

Build SWI-Prolog as a Python package

flatpak

Manage Flatpak image (probably temporary here)

packages-libedit

Binding to BSD libedit command line editor

swi-prolog-feedstock