SWI-Prolog

Repositories

• swipl-devel

  Main development repository

  prolog swi-prolog
  C 118 541 52 4 Updated Nov 3, 2020

• swipl

  SWI-Prolog stable releases
  C 24 138 3 0 Updated Nov 3, 2020

• packages-redis

  Redis client library
  Prolog 1 2 0 0 Updated Oct 31, 2020

• packages-table

  The SWI-Prolog library for accessing structured files
  C 2 5 0 0 Updated Oct 30, 2020

• packages-http

  The SWI-Prolog HTTP server and client libraries
  Prolog 15 15 17 (1 issue needs help) 1 Updated Oct 30, 2020

• packages-libedit

  Binding to BSD libedit command line editor
  C 0 0 0 0 Updated Oct 28, 2020

• docker-swipl

  Docker images for SWI-Prolog
  Dockerfile BSD-2-Clause 8 6 3 0 Updated Oct 28, 2020

• docker-swipl-build-mingw

  Docker to cross-compile SWI-Prolog for Windows
  Dockerfile 0 2 0 0 Updated Oct 27, 2020

• packages-zlib

  The SWI-Prolog zlib compressed stream interface
  Prolog 4 3 0 0 Updated Oct 27, 2020

• packages-yaml

  YAML reader and writer
  C 3 1 0 0 Updated Oct 27, 2020

• packages-xpce

  The graphics toolkit for SWI-Prolog
  C 6 7 4 0 Updated Oct 27, 2020

• packages-windows

  Example DLL and windows registry access library
  C 2 2 0 0 Updated Oct 27, 2020

• packages-utf8proc

  Provide Unicode normalization and info using utf8proc
  C 1 4 0 0 Updated Oct 27, 2020

• contrib-tipc

  The SWI-Prolog TIPC interface
  C 1 1 0 1 Updated Oct 27, 2020

• packages-swipl-win

  Portable Qt-based console for SWI-Prolog by Carlo Capelli
  C++ 5 7 1 0 Updated Oct 27, 2020

• packages-ssl

  The SWI-Prolog SSL interface
  C 9 4 4 0 Updated Oct 27, 2020

• packages-sgml

  The SWI-Prolog SGML/XML/HTML parser
  C 7 4 4 1 Updated Oct 27, 2020

• packages-semweb

  The SWI-Prolog RDF store
  Prolog 8 22 26 0 Updated Oct 27, 2020

• packages-readline

  GNU readline interface
  C 0 0 2 0 Updated Oct 27, 2020

• contrib-protobufs

  An interface to Google Protocol Buffers (protobuf)
  Prolog 3 5 1 0 Updated Oct 27, 2020

• packages-plunit

  The SWI-Prolog Unit Testing library
  Prolog 7 4 0 0 Updated Oct 27, 2020

• packages-pldoc

  The SWI-Prolog documentation system
  Prolog 10 5 11 (1 issue needs help) 0 Updated Oct 27, 2020

• packages-pengines

  Pengines: Prolog engines
  Prolog 7 11 13 1 Updated Oct 27, 2020

• packages-pcre

  SWI-Prolog package for access to Perl Regular Expressions
  Prolog 2 2 0 1 Updated Oct 27, 2020

• packages-paxos

  SWI-Prolog replicating key-value store
  Prolog 2 4 0 0 Updated Oct 27, 2020

• packages-odbc

  The SWI-Prolog ODBC interface
  C 1 5 1 0 Updated Oct 27, 2020

• packages-nlp

  The SWI-Prolog NLP support library (stemming, etc.)
  C 2 5 0 0 Updated Oct 27, 2020

• packages-ltx2htm

  SWI-Prolog LaTeX to HTML translation for the documentation
  Prolog 2 2 0 0 Updated Oct 27, 2020

• packages-jpl

  JPL: The Prolog <-> Java interface
  1 package Java BSD-2-Clause 30 34 6 0 Updated Oct 27, 2020

• packages-inclpr

  Constraint solver for nonlinear (polynomial) constraints over reals
  Prolog 1 6 1 0 Updated Oct 27, 2020