Explore @SWI-Prolog Open Source projects

@SWI-Prolog

SWI-Prolog

Stars
2,448
Global Org. Rank 8,196 (Top 3 %)
Registered over 10 years ago
Most used languages

Prolog
39.0 %

C
32.5 %

C++
6.5 %

HTML
3.9 %

Dockerfile
2.6 %

Shell
2.6 %

Java
2.6 %

JavaScript
2.6 %

Python
2.6 %

TeX
1.3 %

Emacs Lisp
1.3 %

Makefile 1.3 %

C#
1.3 %
Location 🇳🇱 Netherlands
Country Total Rank 274
Country Ranking

Prolog
1

C
11

Emacs Lisp
37

TeX
50

HTML
65

Dockerfile
71

Makefile 232

Java
301

C++
324

C#
451

Shell
550

JavaScript
1,030

Python
1,898

swipl-devel

SWI-Prolog Main development repository

swish

SWI-Prolog for SHaring: a SWI-Prolog web IDE

swipl

SWI-Prolog stable releases

swipl-wasm

Run SWI-Prolog in your browser using WebAssemply

pengines

Pengine and Prolog scratchpad

packages-jpl

JPL: The Prolog <-> Java interface

packages-swipy

Python interface for SWI-Prolog

npm-swipl-wasm

SWI-Prolog WebAssembly build as a NPM package

packages-cpp

The SWI-Prolog C++ interface

packages-semweb

The SWI-Prolog RDF store

contrib-swiplcs

Interface from C# to SWI-Prolog

packages-chr

CHR: Leuven Constraint Handling Rules

tabled-prolog-book

Programming in Tabled Prolog by David S Warren

packages-http

The SWI-Prolog HTTP server and client libraries

roadmap

Discuss future development

sCASP

Top-down interpreter for ASP programs with Constraints

packages-mqi

Machine Query Interface

plweb

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

packages-xpce

The graphics toolkit for SWI-Prolog

bench

Prolog benchmarks (`van Roy' set)

docker-swipl

Docker images for SWI-Prolog

packages-pengines

Pengines: Prolog engines

docker-swish

Docker file for SWISH

packages-swipl-win

Portable Qt-based console for SWI-Prolog by Carlo Capelli

packages-plunit

The SWI-Prolog Unit Testing library

packages-sweep

GNU-Emacs interface that embeds Prolog as an Emacs module

packages-clpqr

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

rclswi

ROS2 bridge for SWI-Prolog

packages-R

SWI-Prolog to R Project for Statistical Computing interface

contrib-protobufs

An interface to Google Protocol Buffers (protobuf)

packages-inclpr

Constraint solver for nonlinear (polynomial) constraints over reals

issues

Dummy repository for issue tracking

packages-nlp

The SWI-Prolog NLP support library (stemming, etc.)

packages-clib

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

webstat

Examine SWI-Prolog resources and data using your browser

packages-odbc

The SWI-Prolog ODBC interface

packages-cql

High level database interface

packages-regex

Pure Prolog regex implementation

packages-table

The SWI-Prolog library for accessing structured files

contrib-plfann

SWI-Prolog interface to FANN (http://leenissen.dk/fann/)

packages-indent

Reformatter for Prolog source code

packages-pldoc

The SWI-Prolog documentation system

packages-RDF

The SWI-Prolog RDF/XML parser

plweb-examples

misc-emacs

Demo customization for PceEmacs

packages-ssl

The SWI-Prolog SSL interface

packages-paxos

SWI-Prolog replicating key-value store

packages-PDT

Support files for PDT: Prolog Development Tools

packages-pcre

SWI-Prolog package for access to Perl Regular Expressions

docker-swipl-build-mingw

Docker to cross-compile SWI-Prolog for Windows

contrib-space

SWI-Prolog spatial indexing package

packages-utf8proc

Provide Unicode normalization and info using utf8proc

plweb-www

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

packages-sgml

The SWI-Prolog SGML/XML/HTML parser

contrib-plosc

Open Sound Control (OSC) for SWI-Prolog

packages-windows

Example DLL and windows registry access library

contrib-InterProlog

InterProlog, adusted for SWI-Prolog

misc-winlibs

Required libraries for compiling on Windows (binaries)

packages-cppproxy

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

packages-bdb

The SWI-Prolog BerkelyDB interface

packages-redis

Redis client library

docker-swish-public

Docker spec used to run the public swish instance

packages-jasmine

The SWI-Prolog interface to the Jasmine OODB

SWI-Prolog.github.io

Organization pages

packages-zlib

The SWI-Prolog zlib compressed stream interface

clpqr-examples

Examples and test cases for clp(QR)

packages-yaml

YAML reader and writer

packages-ltx2htm

SWI-Prolog LaTeX to HTML translation for the documentation

contrib-tipc

The SWI-Prolog TIPC interface

libXpm

XPM image library for xpce

dleak

Memory leak debugger

packages-prosqlite

Prolog to SQLite interface

contrib-minisat

minisat solver by Michael Codish, Vitaly Lagoon, Peter J. Stuckey.

distro-debian

Configuration files for creating a Debian package

misc-libXpm

Modified version of libXpm used by XPCE on MS-Windows

plweb-blog

Blog posts on SWI-Prolog

misc-macos-build

Setup to make binaries for MacOS

misc-bdwgc

The Boehm-Demers-Weiser garbage collector for SWI-Prolog

misc-C-sicstus

Use SWI-Prolog foreign code on SICStus Prolog

py-swi-prolog

Build SWI-Prolog as a Python package

packages-archive

Interface to libarchive

packages-stomp

STOMP client for message brokers

docker-swipl-linux-ci

Docker files for testing builds on various Linux distros and versions