Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Below is a list of known packages. Please be aware that packages are not moderated. Installing a pack does not execute code in the pack, but simply loading a library from the pack may execute arbitrary code. More information about packages is available here. You can search for packages from the Prolog command line using pack_list/1. This contacts the pack server for packs that match by name or title. A leading i indicates that the pack is already installed, while p merely indicates that it is known by the server.

?- pack_list(graph).
p callgraph@0.3.4           - Predicate call graph visualisation
i graphml@0.1.0             - Write GraphML files
i gvterm@1.1                - Show Prolog terms using graphviz
p musicbrainz@0.6.3         - Musicbrainz client library
p sindice@0.0.3             - Access to Sindice semantic web search engine

After finding the right pack, the pack and its dependencies can be installed using the pack_install/1 as illustrated below.

?- pack_install(hello).

Clicking the package shows details and allows you to rate and comment the pack.

PackVersion
(#older)
Downloads
(#latest)
Rating
(#votes/
#comments)
Title
regex0.3.31141520
Regular expressions
prosqlite1.21230649
(0/1)
An SWI-Prolog interface to SQLite
lambda1.0.0277
(4/4)
Lambda expressions
real2.01126156
Integrative statistics with R
cplint3.1.01162581
A suite of programs for reasoning with probabilistic logic programs
smtp1.0.0519611
An (E)SMTP client for sending mail
logtalk3.11.2391896
Logtalk - Object-Oriented Logic Programming Language
list_util0.12.01617942
Predicates for working with lists
func0.4.2816836
(2/2)
Function application and composition
callgraph0.4.1171439
(1/1)
Predicate call graph visualisation
tap0.4.01112451
Automated tests via Test Anything Protocol
trill4.1.0731123
A tableau probabilistic reasoner in three different versions
simple_template1.1.0611149
Logic-free text (HTML) templates
julian0.1.3511014
Date and time library
pac1.4.7831051
Anonymous predicates expansion utility
db_facts0.4410314
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
arouter1.1.149958
Alternative HTTP path router
mavis0.2.389878
Optional type declarations
docstore2.0.159761
Document-oriented database for Prolog
typedef0.1.89962
(2/2)
Support for type definitions
markdown0.0.218478
Markdown parser for SWI-Prolog
gvterm1.118453
(1/1)
Show Prolog terms using graphviz
hello0.0.175
(1/1)
Hello World
aleph58752
Aleph Inductive Logic Prorgramming system
plgi1.0.487434
(1/1)
PLGI - Prolog bindings for GLib/GObject/GIO/GTK+
delay0.3.377345
Avoid instantiation errors for built-in predicates
spawn0.0.168
Easy concurrency
sort_dict0.0.326864
Sorts dicts by key
quickcheck0.2.066820
QuickCheck randomized testing
dict_schema0.0.216865
Dict converter and validator
graphml0.1.067
(1/1)
Write GraphML files
dcgutils1.1.09672
DCG related utilities
webconsole0.9.116261
(0/1)
Use a browser as HTML console
type_check1.0.116157
Type System for Prolog based on Hindley-Milner
djson0.0.325953
Declarative JSON
blog_core1.1.116585
Blog/CMS framework
sparkle0.0.985747
(1/1)
Prolog-friendly interface to SPARQL endpoints
refactor0.0.339571
Refactoring Tools for SWI-Prolog
function_expansion0.1.225445
(1/1)
Help for writing function-like macros
memo0.6.117532
Persistent memoisation of deterministic predicates
recaptcha0.9.225146
reCAPTCHA plugin for SWI-Prolog HTTP framework
auc1.09512
Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves
plOpenGL0.6.254935
(1/1)
OpenGL Bindings
genutils0.3.622461
General miscellaneous utilities
odf_sheet0.2.344327
Load and analyze ODF spreadsheets (.ods)
xtools0.0.228412
Extended tools for Prolog
swicli2.0.010402
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
fileutils0.3.16404
Utilities for reading, writing and finding files
wsdl0.139
Web Service Description Language (WSDL) and SOAP
tor1.0.443918
Tor: Extensible Search with Hookable Disjunction
swipe0.2.6113911
Shell pipeline construction with type checking
maybe0.1.133936
The maybe type represents an optional value
amazon_api0.0.323831
Interface to Amazon APIs
musicbrainz0.7.0213711
Musicbrainz client library
atom_feed0.2.043723
Parse Atom and RSS feeds
rserve_client1.1.011362
R Rserve client
weblog0.0.563512
(0/1)
weblog
sweet0.1.133530
Sugar to make Prolog a little sweeter
logicmoo_base1.1.11828351
LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
matrix1.043311
Operations with matrices
xlibrary0.0.220322
Extended libraries for Prolog
plosc0.4.66321
OSC input/output via liblo
by_unix0.1.613230
An elegance layer to calling unix commands.
swipl_ext0.0.3128312
Various extensions for SWI-Prolog (atom, date/time, URI, XML, etc).
uri_qq0.3.033019
URI quasiquotations
os_sub0.0.633019
Collect files and sub-directories
lbfgs1.014301
An interface to call libLBFGS from within SWI-Prolog
condition0.1.132917
Condition system a la Common Lisp
turing1.0.222823
Turing Machine Simulator
sql_compiler0.1.428
Prolog to SQL compiler
rdf_ext0.0.2821281
Advanced RDF support for SWI-Prolog.
irc_client1.3.09285
Low level interface to IRC clients
spuds0.1.48278
Persistent, user code inclusive, documentation server for linux
assertions0.0.117271
Ciao Assertions Reader for SWI-Prolog
semantria0.0.432616
Use Semantria natural language API
pfc1.1.11822262
Pfc -- a package for forward chaining in Prolog
bio_db0.98266
Access, use and manage big, biological datasets.
tokenize0.1.222523
A nascent tokenization library
prologmud_samples1.1.11817251
Online text adventure game - Sample
plmidi0.7.07252
Interface to Mac OS X MIDI system
plml2.0.215241
Prolog-Matlab bridge
bims2.24242
Bayesian inference of model structure.
bencode0.0.124
Bencoding from BitTorrent protocol
resbound0.8.112322
Run goal with resource bounds
mutable_variables1.0.023
Mutable Variables
jolog0.0.312313
Concurrency via join calculus
environ1.023
Demo package with C code, fetching the program environment
rtchecks0.0.113223
Run-Time Checking for Ciao and SWI-Prolog
rdfs2pl0.0.322219
Compile an RDFS schema to prolog predicates
pl_omdb0.5.08222
API interface to OMDB (Open Movie Database)
options0.54226
Options handling.
interpolate0.1.01221
String interpolation
dia0.122
An interface to .dia-uml-diagrams
wgraph0.32215
Weighted graphs, with plotting via Real
unionfind1.0.021
Optimal implementation of the union-find algorithm in CHR
rtp_qsndqs0.322119
Real-time persistent queues and deques.
plrand0.9.1112213
Skippable pseudorandom generator and distributions
lcs0.0.121
Longest common subsequence
yaml0.14202
YAML parser
readability_parser0.0.431910
Readability Parser API
pubmed0.0.43198
Access pubmed publication records
pack_errors0.32196
Contextual error handling for packs.
julian_lang_en0.0.211918
Parse English language phrases into library(julian) constraints
dcg_util0.3.12194
(1/1)
DCG utility predicates
cplint_r1.0.09197
R plotting predicates for cplint
cclab0.1.513192
Continuations lab
plsmf0.5.08184
Standard MIDI File reading
pepl2.14185
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
nan_common1.221814
Common operations (validation, etc.)
must_trace1.1.11815181
Trace with your eyeballs instead of your fingers
format_spec0.0.211817
Parse and check format/2 specifications
rdf_client0.0.1412171
An RDF Client with support for streaming SPARQL result sets.
plmake0.0.311712
Prolog makefile-like system
ccprism0.0.1013171
Probabilistic programming using delimited continuations
thousands0.2.031611
(0/1)
Thousands separator for large integers
rocksdb0.7.02163
SWI-Prolog interface to RocksDB
r_session1.111615
Interface to an R process
plchatscript1.0.941610
(1/1)
Interface to the ChatScript server.
plcairo0.9.016
plcairo - Prolog bindings for cairo graphics library
os_lib0.65163
Operating system interaction predicates.
eggdrop1.1.11814161
Hook up to an existing IRC Client called an Eggdrop
googleclient0.5.221511
SWI-Prolog code for "Login with Google"
dotcloud0.0.21159
Conveniences for running on dotCloud
cowspeak0.0.46155
Cowspeak
b_real0.43153
Interface predicates to commonly used R functions.
unified_diff0.0.114
Parse and generate unified diffs
sindice0.0.53147
Access to Sindice semantic web search engine
prologmud1.1.11812141
Online text adventure game - MUD Server
plasticsearch0.121412
Elasticsearch client API
switex0.0.76137
Literate programming with LaTeX and Prolog
requires1.05132
Predicate based code development
miser0.0.113
Build self-optimizing predicates
link_grammar_prolog4.1.0.321310
A binding to use the Link Grammar library from SWI-Prolog
html_ext0.0.108132
Extensions for HTML support in SWI-Prolog.
dirtree1.0.011312
load XML of directory content
bio_db_repo17.3.33133
Data package for bio_db.
with_state0.0.56124
Stateful computations with records
pinyin0.1.55126
Parsing and generation of Hanyu Pinyin
number_to_word0.4.25127
Integer to English word conversions
fcgi0.9.012
fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog
app0.112
Prolog Application Server
rdf_server0.0.369112
RDF server in SWI-Prolog.
plumdrum0.0.63111
Parsing of Humdrum/Kern symbolic music file format
odict0.2.65116
Unifier over feature structures based on attributed variables
mlu0.21114
Machine learning utilities
gvar_syntax1.1.11810111
Global Variable Syntax
geo0.0.108113
Geospatial support for SWI-Prolog.
dot_dcg0.1.04111
A DCG for a subset of the DOT language
dcg_ext0.0.139112
Additional DCG support for SWI-Prolog.
stoics_lib0.54102
A medley of library predicates for stoics packs
predicate_streams1.1.1189101
Implement your own Abstract Predicate Streams
mqtt1.0.52108
mqtt - pub/sub pack for SWI-Prolog using mosquitto
mpi1.05101
Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
fnotation0.0.32107
Function notation for Prolog
dictoo1.1.1188101
Dict-like OO Syntax
cplint_datasets1.010
Dataset for machine learning with cplint
each_call_cleanup1.1.118791
Each Call Redo Setup and Cleanup
xlisting1.1.118781
Selective Interactive Non-Deterministic Tracing
chan0.2.08
Directional channels for thread communication
xsd0.1.6472
XML Schema validation with Prolog
transpiler0.1274
A universal translator for programming languages
tabling_dra1.0.4572
SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
sldnfdraw1.6472
SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX
pagination0.0.8671
Pagination support (including HTTP- and HTML-based) for SWI-Prolog.
nan_numerics_prime1.2.5472
Nan.Numerics.Prime - A simple prime number library
loop_check1.1.118671
New simple loop checking
lib1.5571
Predicate based code development
hook_hybrid1.1.118671
Hook assert retract call of *specific* predicates
hdt0.5472
Access RDF HDT files
fluents0.1.07
Access all solutions of a goal without backtracking
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
debug_call0.3272
Debugging with calls
clause_attvars1.1.118671
An alternate interface to the clause database to allow attributed variables to be asserted
term_diff0.0.1164
slack_prolog1.1.118165
Prolog interface to Slack http://www.slack.com
s_expression1.1.118561
Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
roman0.1.06
Roman numerals
prism0.2.1462
Run PRISM as a child process
ldf_server0.0.6462
A Linked Data Fragment (LDF) Server for SWI-Prolog.
ldap4pl0.1165
LDAP interface
with_open_options1.1.118451
Utilities to open various objects for read/write
sparql_client0.0.6351
A SPARQL Client with result set streaming support.
plJwt0.1.05
plJwt
musicxml0.0.2153
MusicXML partial reader
logicmoo_utils1.1.118451
Common predicates used by external Logicmoo Utils and Base
ldf_client0.0.4253
A Linked Data Fragment (LDF) Client for SWI-Prolog.
instant_prolog_docs1.1.118451
Magically document prolog source files based on predicate and variable naming conventions
file_utilities0.15
File system related utilities
file_scope1.1.118451
File local scoped efects
ckan_api0.0.6252
One API to access all CKAN sites.
ckan2rdf0.0.7351
Cache CKAN sites as RDF.
biomake0.1.1251
Prolog makefile-like system
xlisting_web1.1.118341
Manipulate and browse prolog runtime over www
with_thread_local1.1.118341
Call a Goal with local assertions
webscale_client0.0.6242
WebScale Client
tidylog0.0.14
subclause_expansion1.1.118341
More detailed versions of term/goal expansion hooks
pha0.1.2242
Probabilistic Horn Abduction
no_repeats1.1.118341
New ways to avoid duplicate solutions
multimodal_dcg1.1.118341
Reduce floundering of DCGs by constraining and narrowing search
logicmoo_planners1.1.118143
Various Hybrid HTN Planners speaking PDDLish and OCLh
kubepl0.1141
Kubernetes Client
inotify0.9.1143
Access Linux inotify API to watch file system changes
hashtbl0.0.2143
Pure and impure hash tables
web0.1.13
Easy web client
timeutils0.0.43
Tools for temporally aware programming
rdf_notification0.13
RDF notification
rdet0.0.13
Runtime determinacy checker
midiutils0.0.33
midiutils
lib_atts1.1.118231
Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html
httplog0.5.03
Analyse SWI-Prolog HTTP server log files
geoip0.9.03
Access GeoIP library
edcg0.9.03
Extended DCG
with0.0.42
Context managers for SWI Prolog
upsh2.12
Save a state for executing commands.
twitter0.102
A pack to access the twitter api
stompl0.12
STOMP client
sp2b0.0.22
Copy of the SP²B Bechmark.
rdf_geo0.0.2121
Geospatial support for the Semantic Web.
nan_system_sources1.2.02
Nan.System.Sources - Answer Sources in Prolog
mime0.5.02
MIME processing library based on maildrop
ciao0.0.12
Ciao Prolog compatibility library
body_reordering1.1.118121
Clause expansion Utils for deciding which order to run Goals in a body
rtrace0.0.71
Selective Interactive Non-Deterministic Tracing
rdf_guess0.0.21
Heuristically guess the RDF serialization format of a data stream.
pfd_meta0.11
Probabilistic finite domains meta-interpreter
pcache0.1.01
Persistent answer cache
pager0.1.01
Send output to user's preferred pager
pac4pl0.11
An SWI-Prolog interface to libPAC
notes8000.1.01
Query phone number data from 800notes.com
nanp0.1.01
phone numbers in the North American Numbering Plan
dialect-ciao0.0.11
Ciao Prolog compatibility library
call_cleaup_each0.0.11
Call A Goal On Each Redo