SWI-Prolog
- Amsterdam
- http://www.swi-prolog.org
- jan@swi-prolog.org
Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign up
Pinned repositories
Repositories
-
-
swipl
SWI-Prolog stable releases
-
packages-redis
Redis client library
-
packages-table
The SWI-Prolog library for accessing structured files
-
packages-http
The SWI-Prolog HTTP server and client libraries
-
packages-libedit
Binding to BSD libedit command line editor
-
docker-swipl
Docker images for SWI-Prolog
-
docker-swipl-build-mingw
Docker to cross-compile SWI-Prolog for Windows
-
packages-zlib
The SWI-Prolog zlib compressed stream interface
-
packages-yaml
YAML reader and writer
-
packages-xpce
The graphics toolkit for SWI-Prolog
-
packages-windows
Example DLL and windows registry access library
-
packages-utf8proc
Provide Unicode normalization and info using utf8proc
-
contrib-tipc
The SWI-Prolog TIPC interface
-
packages-swipl-win
Portable Qt-based console for SWI-Prolog by Carlo Capelli
-
packages-ssl
The SWI-Prolog SSL interface
-
packages-sgml
The SWI-Prolog SGML/XML/HTML parser
-
packages-semweb
The SWI-Prolog RDF store
-
packages-readline
GNU readline interface
-
contrib-protobufs
An interface to Google Protocol Buffers (protobuf)
-
packages-plunit
The SWI-Prolog Unit Testing library
-
packages-pldoc
The SWI-Prolog documentation system
-
packages-pengines
Pengines: Prolog engines
-
packages-pcre
SWI-Prolog package for access to Perl Regular Expressions
-
packages-paxos
SWI-Prolog replicating key-value store
-
packages-odbc
The SWI-Prolog ODBC interface
-
packages-nlp
The SWI-Prolog NLP support library (stemming, etc.)
-
packages-ltx2htm
SWI-Prolog LaTeX to HTML translation for the documentation
-
packages-jpl
JPL: The Prolog <-> Java interface
-
packages-inclpr
Constraint solver for nonlinear (polynomial) constraints over reals