Explore @SWI-Prolog Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Crystal

Kotlin

Scala

Rust

Solidity

C#

OCaml

Assembly

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

PHP

Lua

F#

Ada

JavaScript

Rust

Nix

MATLAB

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇧🇾 Belarus

🇩🇿 Algeria

🇨🇼 Curaçao

🇻🇳 Vietnam

🇦🇿 Azerbaijan

🇭🇳 Honduras

🇧🇯 Benin

🇦🇱 Albania

All Countries Compare Countries

@SWI-Prolog

SWI-Prolog

Stars
2,309
Global Org. Rank 8,368 (Top 3 %)
Registered about 10 years ago
Most used languages

Prolog
38.2 %

C
32.9 %

C++
6.6 %

HTML
3.9 %

Java
2.6 %

Python
2.6 %

JavaScript
2.6 %

Shell
2.6 %

Dockerfile
2.6 %

Makefile 1.3 %

Emacs Lisp
1.3 %

C#
1.3 %

TeX
1.3 %
Location 🇳🇱 Netherlands
Country Total Rank 274
Country Ranking

Prolog
1

C
12

Emacs Lisp
47

TeX
52

HTML
64

Dockerfile
69

Makefile 177

Java
309

C++
322

C#
449

Shell
553

JavaScript
1,119

Python
2,018

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

npm-swipl-wasm

SWI-Prolog WebAssembly build as a NPM package

packages-cpp

The SWI-Prolog C++ interface

packages-swipy

Python interface for SWI-Prolog

packages-semweb

The SWI-Prolog RDF store

contrib-swiplcs

Interface from C# to SWI-Prolog

packages-chr

CHR: Leuven Constraint Handling Rules

packages-http

The SWI-Prolog HTTP server and client libraries

roadmap

Discuss future development

tabled-prolog-book

Programming in Tabled Prolog by David S Warren

sCASP

Top-down interpreter for ASP programs with Constraints

plweb

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

packages-xpce

The graphics toolkit for SWI-Prolog

packages-mqi

Machine Query Interface

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-clpqr

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

issues

Dummy repository for issue tracking

packages-plunit

The SWI-Prolog Unit Testing library

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

packages-sweep

GNU-Emacs interface that embeds Prolog as an Emacs module

packages-clib

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

rclswi

ROS2 bridge for SWI-Prolog

webstat

Examine SWI-Prolog resources and data using your browser

packages-cql

High level database interface

packages-odbc

The SWI-Prolog ODBC interface

packages-nlp

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

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

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

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

plweb-examples

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-pcre

SWI-Prolog package for access to Perl Regular Expressions

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

packages-windows

Example DLL and windows registry access library

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

clpqr-examples

Examples and test cases for clp(QR)

contrib-minisat

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

distro-debian

Configuration files for creating a Debian package

packages-yaml

YAML reader and writer

plweb-blog

Blog posts on SWI-Prolog

misc-libXpm

Modified version of libXpm used by XPCE on MS-Windows

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