Repositories list

• swipl-devel

  Public
  SWI-Prolog Main development repository

  prologlogic-programmingswi-prolog

  C

  •

  Other

  •176•976•121•9•Updated Nov 18, 2024Nov 18, 2024

• swipl

  Public
  SWI-Prolog stable releases

  C

  •

  Other

  •41•220•6•0•Updated Nov 17, 2024Nov 17, 2024

• packages-ssl

  Public
  The SWI-Prolog SSL interface

  C

  •14•5•4•0•Updated Nov 17, 2024Nov 17, 2024

• packages-jpl

  Public
  JPL: The Prolog <-> Java interface

  Java

  •

  BSD 2-Clause "Simplified" License

  •33•54•10•0•Updated Nov 14, 2024Nov 14, 2024

• npm-swipl-wasm

  Public
  SWI-Prolog WebAssembly build as a NPM package

  nodejsjavascriptwebassembly+ 2wasmemscripten

  JavaScript

  •

  Other

  •4•42•12•5•Updated Nov 13, 2024Nov 13, 2024

• bench

  Public
  Prolog benchmarks (`van Roy' set)

  Prolog

  •9•15•0•0•Updated Nov 13, 2024Nov 13, 2024

• packages-sweep

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

  Emacs Lisp

  •

  BSD 2-Clause "Simplified" License

  •5•11•0•0•Updated Nov 7, 2024Nov 7, 2024

• packages-plunit

  Public
  The SWI-Prolog Unit Testing library

  Prolog

  •13•9•0•1•Updated Nov 6, 2024Nov 6, 2024

• sCASP

  Public
  Top-down interpreter for ASP programs with Constraints

  Prolog

  •

  Apache License 2.0

  •4•24•7•0•Updated Nov 6, 2024Nov 6, 2024

• packages-cpp

  Public
  The SWI-Prolog C++ interface

  C++

  •14•30•9•0•Updated Nov 2, 2024Nov 2, 2024

• docker-swipl

  Public
  Docker images for SWI-Prolog

  Dockerfile

  •

  BSD 2-Clause "Simplified" License

  •11•14•4•0•Updated Oct 31, 2024Oct 31, 2024

• packages-zlib

  Public
  The SWI-Prolog zlib compressed stream interface

  Prolog

  •6•4•0•0•Updated Oct 31, 2024Oct 31, 2024

• packages-yaml

  Public
  YAML reader and writer

  C

  •6•2•0•0•Updated Oct 31, 2024Oct 31, 2024

• packages-xpce

  Public
  The graphics toolkit for SWI-Prolog

  C

  •14•16•6•0•Updated Oct 31, 2024Oct 31, 2024

• packages-windows

  Public
  Example DLL and windows registry access library

  C

  •5•4•0•0•Updated Oct 31, 2024Oct 31, 2024

• packages-utf8proc

  Public
  Provide Unicode normalization and info using utf8proc

  C

  •

  Other

  •4•5•0•0•Updated Oct 31, 2024Oct 31, 2024

• contrib-tipc

  Public
  The SWI-Prolog TIPC interface

  C

  •5•3•0•1•Updated Oct 31, 2024Oct 31, 2024

• packages-table

  Public
  The SWI-Prolog library for accessing structured files

  C

  •5•6•0•0•Updated Oct 31, 2024Oct 31, 2024

• packages-swipy

  Public
  Python interface for SWI-Prolog

  C

  •6•41•2•1•Updated Oct 31, 2024Oct 31, 2024

• packages-swipl-win

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

  C++

  •10•10•2•0•Updated Oct 31, 2024Oct 31, 2024

• packages-stomp

  Public
  STOMP client for message brokers

  Prolog

  •3•2•0•0•Updated Oct 31, 2024Oct 31, 2024

• packages-sgml

  Public
  The SWI-Prolog SGML/XML/HTML parser

  C

  •9•5•5•0•Updated Oct 31, 2024Oct 31, 2024

• packages-semweb

  Public
  The SWI-Prolog RDF store

  Prolog

  •15•29•26•0•Updated Oct 31, 2024Oct 31, 2024

• packages-redis

  Public
  Redis client library

  Prolog

  •4•4•0•0•Updated Oct 31, 2024Oct 31, 2024

• packages-readline

  Public
  GNU readline interface

  C

  •4•1•2•0•Updated Oct 31, 2024Oct 31, 2024

• contrib-protobufs

  Public
  An interface to Google Protocol Buffers (protobuf)

  Prolog

  •7•8•5•0•Updated Oct 31, 2024Oct 31, 2024

• packages-pldoc

  Public
  The SWI-Prolog documentation system

  Prolog

  •14•6•13•0•Updated Oct 31, 2024Oct 31, 2024

• packages-pengines

  Public
  Pengines: Prolog engines

  Prolog

  •14•12•13•1•Updated Oct 31, 2024Oct 31, 2024

• packages-pcre

  Public
  SWI-Prolog package for access to Perl Regular Expressions

  Prolog

  •7•5•9•0•Updated Oct 31, 2024Oct 31, 2024

• packages-paxos

  Public
  SWI-Prolog replicating key-value store

  Prolog

  •5•5•0•0•Updated Oct 31, 2024Oct 31, 2024