Repositories list

• swipl-devel

  Public
  SWI-Prolog Main development repository

  prologlogic-programmingswi-prolog

  C

  •

  Other

  •194•1.1k•131•12•Updated Jun 26, 2025Jun 26, 2025

• npm-swipl-wasm

  Public
  SWI-Prolog WebAssembly build as a NPM package

  nodejsjavascriptwebassembly+ 2wasmemscripten

  JavaScript

  •

  Other

  •6•51•13•4•Updated Jun 26, 2025Jun 26, 2025

• packages-xpce

  Public
  The graphics toolkit for SWI-Prolog

  C

  •16•19•8•0•Updated Jun 25, 2025Jun 25, 2025

• docker-swipl

  Public
  Docker images for SWI-Prolog

  Dockerfile

  •

  BSD 2-Clause "Simplified" License

  •11•16•4•0•Updated Jun 25, 2025Jun 25, 2025

• docker-swipl-build-mingw

  Public
  Docker to cross-compile SWI-Prolog for Windows

  Dockerfile

  •5•4•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-zlib

  Public
  The SWI-Prolog zlib compressed stream interface

  Prolog

  •6•4•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-yaml

  Public
  YAML reader and writer

  C

  •6•2•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-windows

  Public
  Example DLL and windows registry access library

  C

  •5•4•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-utf8proc

  Public
  Provide Unicode normalization and info using utf8proc

  C

  •

  Other

  •4•5•0•0•Updated Jun 25, 2025Jun 25, 2025

• contrib-tipc

  Public
  The SWI-Prolog TIPC interface

  C

  •6•4•0•1•Updated Jun 25, 2025Jun 25, 2025

• packages-table

  Public
  The SWI-Prolog library for accessing structured files

  C

  •5•6•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-swipy

  Public
  Python interface for SWI-Prolog

  C

  •

  BSD 2-Clause "Simplified" License

  •8•49•2•1•Updated Jun 25, 2025Jun 25, 2025

• packages-swipl-win

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

  C++

  •10•11•2•0•Updated Jun 25, 2025Jun 25, 2025

• packages-sweep

  Public
  GNU-Emacs interface that embeds Prolog as an Emacs module

  Emacs Lisp

  •

  BSD 2-Clause "Simplified" License

  •4•14•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-stomp

  Public
  STOMP client for message brokers

  Prolog

  •3•2•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-ssl

  Public
  The SWI-Prolog SSL interface

  C

  •15•5•4•0•Updated Jun 25, 2025Jun 25, 2025

• packages-sgml

  Public
  The SWI-Prolog SGML/XML/HTML parser

  C

  •9•5•5•0•Updated Jun 25, 2025Jun 25, 2025

• packages-semweb

  Public
  The SWI-Prolog RDF store

  Prolog

  •15•32•26•0•Updated Jun 25, 2025Jun 25, 2025

• packages-redis

  Public
  Redis client library

  Prolog

  •4•4•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-readline

  Public
  GNU readline interface

  C

  •4•1•2•0•Updated Jun 25, 2025Jun 25, 2025

• contrib-protobufs

  Public
  An interface to Google Protocol Buffers (protobuf)

  Prolog

  •7•8•5•0•Updated Jun 25, 2025Jun 25, 2025

• packages-plunit

  Public
  The SWI-Prolog Unit Testing library

  Prolog

  •13•9•0•1•Updated Jun 25, 2025Jun 25, 2025

• packages-pldoc

  Public
  The SWI-Prolog documentation system

  Prolog

  •14•6•13•0•Updated Jun 25, 2025Jun 25, 2025

• packages-pengines

  Public
  Pengines: Prolog engines

  Prolog

  •14•12•13•1•Updated Jun 25, 2025Jun 25, 2025

• packages-pcre

  Public
  SWI-Prolog package for access to Perl Regular Expressions

  Prolog

  •7•5•9•0•Updated Jun 25, 2025Jun 25, 2025

• packages-paxos

  Public
  SWI-Prolog replicating key-value store

  Prolog

  •5•5•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-odbc

  Public
  The SWI-Prolog ODBC interface

  C

  •4•7•1•0•Updated Jun 25, 2025Jun 25, 2025

• packages-nlp

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

  C

  •5•8•0•0•Updated Jun 25, 2025Jun 25, 2025

• packages-mqi

  Public
  Machine Query Interface

  Python

  •7•19•11•1•Updated Jun 25, 2025Jun 25, 2025

• packages-ltx2htm

  Public
  SWI-Prolog LaTeX to HTML translation for the documentation

  Prolog

  •6•3•0•1•Updated Jun 25, 2025Jun 25, 2025