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.

Pack
tot: 226
Version
(#older)
Downloads
tot: 8,210
(#latest)
Rating
(#votes/
#comments)
Title
regex0.3.31144853
Regular expressions
prosqlite1.21234487
(0/1)
An SWI-Prolog interface to SQLite
cplint3.1.01233001
A suite of programs for reasoning with probabilistic logic programs
lambda1.0.0293
(4/4)
Lambda expressions
real2.01127671
Integrative statistics with R
logtalk3.14.0422216
Logtalk - Object-Oriented Logic Programming Language
smtp1.0.0520518
An (E)SMTP client for sending mail
list_util0.12.01618750
Predicates for working with lists
func0.4.2818553
(2/2)
Function application and composition
callgraph0.4.11715117
(1/1)
Predicate call graph visualisation
tap0.4.01112956
Automated tests via Test Anything Protocol
julian0.1.3612414
Date and time library
trill5.0.0771212
A tableau probabilistic reasoner in three different versions
simple_template1.2.071205
Logic-free text (HTML) templates
db_facts0.4411122
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
pac1.4.7831062
Anonymous predicates expansion utility
arouter1.1.1410463
Alternative HTTP path router
typedef0.1.891017
(2/2)
Support for type definitions
mavis0.2.3810080
Optional type declarations
docstore2.0.1510064
Document-oriented database for Prolog
plgi1.0.6109417
(1/1)
PLGI - Prolog bindings for GLib/GObject/GIO/GTK+
gvterm1.119261
(1/1)
Show Prolog terms using graphviz
aleph59892
Aleph Inductive Logic Prorgramming system
markdown0.0.218781
Markdown parser for SWI-Prolog
hello0.0.175
(1/1)
Hello World
delay0.3.377547
Avoid instantiation errors for built-in predicates
dict_schema0.0.217168
Dict converter and validator
spawn0.0.170
Easy concurrency
sort_dict0.0.327066
Sorts dicts by key
dcgutils1.1.09705
DCG related utilities
quickcheck0.2.066921
QuickCheck randomized testing
graphml0.1.069
(1/1)
Write GraphML files
type_check1.0.116662
Type System for Prolog based on Hindley-Milner
webconsole0.9.116463
(0/1)
Use a browser as HTML console
djson0.0.326155
Declarative JSON
function_expansion0.1.226051
(1/1)
Help for writing function-like macros
blog_core1.1.116607
Blog/CMS framework
auc1.010602
Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves
sparkle0.0.985747
(1/1)
Prolog-friendly interface to SPARQL endpoints
refactor0.0.339571
Refactoring Tools for SWI-Prolog
memo0.6.117543
Persistent memoisation of deterministic predicates
recaptcha0.9.225146
reCAPTCHA plugin for SWI-Prolog HTTP framework
plOpenGL0.6.255137
(1/1)
OpenGL Bindings
genutils0.3.622483
General miscellaneous utilities
odf_sheet0.2.344529
Load and analyze ODF spreadsheets (.ods)
matrix1.044411
Operations with matrices
xtools0.0.229422
Extended tools for Prolog
swicli2.0.010424
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
tor1.0.444120
Tor: Extensible Search with Hookable Disjunction
fileutils0.3.16415
Utilities for reading, writing and finding files
amazon_api0.0.324134
Interface to Amazon APIs
wsdl0.140
Web Service Description Language (WSDL) and SOAP
maybe0.1.134037
The maybe type represents an optional value
by_unix0.1.614038
An elegance layer to calling unix commands.
swipe0.2.6113911
Shell pipeline construction with type checking
sweet0.1.133833
Sugar to make Prolog a little sweeter
atom_feed0.2.043824
Parse Atom and RSS feeds
rserve_client1.1.011373
R Rserve client
musicbrainz0.7.0213711
Musicbrainz client library
weblog0.0.563612
(0/1)
weblog
logicmoo_base1.1.11829361
LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
xlibrary0.0.222352
Extended libraries for Prolog
pfc1.1.11825352
Pfc -- a package for forward chaining in Prolog
plosc0.4.66343
OSC input/output via liblo
lbfgs1.015341
An interface to call libLBFGS from within SWI-Prolog
tokenize0.1.223331
A nascent tokenization library
uri_qq0.3.033120
URI quasiquotations
bio_db1.110314
Access, use and manage big, biological datasets.
os_sub0.0.633019
Collect files and sub-directories
condition0.1.133018
Condition system a la Common Lisp
turing1.0.222924
Turing Machine Simulator
plcairo0.9.112910
plcairo - Prolog bindings for cairo graphics library
irc_client1.3.09296
Low level interface to IRC clients
sql_compiler0.1.428
Prolog to SQL compiler
prologmud_samples1.1.11819281
Online text adventure game - Sample
bims2.24286
Bayesian inference of model structure.
assertions0.0.118281
Ciao Assertions Reader for SWI-Prolog
spuds0.1.48278
Persistent, user code inclusive, documentation server for linux
semantria0.0.432717
Use Semantria natural language API
wgraph0.322610
Weighted graphs, with plotting via Real
plml2.0.316251
Prolog-Matlab bridge
plmidi0.7.07252
Interface to Mac OS X MIDI system
options0.54259
Options handling.
interpolate0.1.02251
String interpolation
dcg_util0.3.13251
(1/1)
DCG utility predicates
rdfs2pl0.0.53242
Compile an RDFS schema to prolog predicates
jolog0.0.312414
Concurrency via join calculus
environ1.024
Demo package with C code, fetching the program environment
bencode0.0.124
Bencoding from BitTorrent protocol
rtchecks0.0.114233
Run-Time Checking for Ciao and SWI-Prolog
resbound0.8.112322
Run goal with resource bounds
mutable_variables1.0.023
Mutable Variables
dia0.123
An interface to .dia-uml-diagrams
yaml0.14222
YAML parser
plrand0.9.1313221
Skippable pseudorandom generator and distributions
pl_omdb0.5.08222
API interface to OMDB (Open Movie Database)
pack_errors0.32229
Contextual error handling for packs.
unionfind1.0.021
Optimal implementation of the union-find algorithm in CHR
rtp_qsndqs0.322119
Real-time persistent queues and deques.
lcs0.0.121
Longest common subsequence
julian_lang_en0.0.212120
Parse English language phrases into library(julian) constraints
must_trace1.1.11817201
Trace with your eyeballs instead of your fingers
cplint_r1.0.010201
R plotting predicates for cplint
ccprism0.0.1015202
Probabilistic programming using delimited continuations
cclab0.1.513203
Continuations lab
readability_parser0.0.431910
Readability Parser API
pubmed0.0.43198
Access pubmed publication records
pepl2.14196
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
bio_db_repo17.10.135194
Data package for bio_db.
rocksdb0.7.02185
SWI-Prolog interface to RocksDB
prologmud1.1.11813181
Online text adventure game - MUD Server
plsmf0.5.08184
Standard MIDI File reading
os_lib0.65185
Operating system interaction predicates.
nan_common1.221814
Common operations (validation, etc.)
format_spec0.0.211817
Parse and check format/2 specifications
thousands0.2.031712
(0/1)
Thousands separator for large integers
plmake0.0.311712
Prolog makefile-like system
pljulia0.1.416171
Embedded Julia for SWI Prolog
plchatscript1.0.941711
(1/1)
Interface to the ChatScript server.
googleclient0.5.231711
SWI-Prolog code for "Login with Google"
eggdrop1.1.11815171
Hook up to an existing IRC Client called an Eggdrop
b_real0.43175
Interface predicates to commonly used R functions.
transpiler0.16163
A universal translator for programming languages
r_session1.111615
Interface to an R process
link_grammar_prolog4.1.0.321612
A binding to use the Link Grammar library from SWI-Prolog
dotcloud0.0.211610
Conveniences for running on dotCloud
wam_common_lisp1.1.11812151
ANSI Common Lisp implemented in Prolog
switex0.0.76159
Literate programming with LaTeX and Prolog
stoics_lib0.65154
A medley of library predicates for stoics packs
plasticsearch0.121513
Elasticsearch client API
dot_dcg0.1.04151
A DCG for a subset of the DOT language
cplint_datasets1.015
Dataset for machine learning with cplint
unified_diff0.0.114
Parse and generate unified diffs
sindice0.0.53147
Access to Sindice semantic web search engine
pinyin0.1.55148
Parsing and generation of Hanyu Pinyin
mlu0.21147
Machine learning utilities
miser0.0.114
Build self-optimizing predicates
xlisting1.1.11810132
Selective Interactive Non-Deterministic Tracing
requires1.05132
Predicate based code development
odict0.2.65138
Unifier over feature structures based on attributed variables
number_to_word0.4.25138
Integer to English word conversions
fcgi0.9.013
fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog
dirtree1.0.011312
load XML of directory content
with_state0.0.56124
Stateful computations with records
sldnfdraw1.66122
SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX
gvar_syntax1.1.11811121
Global Variable Syntax
debug_call0.32127
Debugging with calls
app0.112
Prolog Application Server
predicate_streams1.1.11810111
Implement your own Abstract Predicate Streams
plumdrum0.0.63111
Parsing of Humdrum/Kern symbolic music file format
mpi1.05111
Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
dictoo1.1.1189111
Dict-like OO Syntax
mqtt1.0.52108
mqtt - pub/sub pack for SWI-Prolog using mosquitto
fnotation0.0.32107
Function notation for Prolog
each_call_cleanup1.1.1188101
Each Call Redo Setup and Cleanup
chan0.2.010
Directional channels for thread communication
s_expression1.1.118791
Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
loop_check1.1.118792
New simple loop checking
lib4.12791
Library
hook_hybrid1.1.118891
Hook assert retract call of *specific* predicates
hdt0.5592
Access RDF HDT files
xsd0.1.6483
XML Schema validation with Prolog
roman0.1.08
Roman numerals
clause_attvars1.1.118781
An alternate interface to the clause database to allow attributed variables to be asserted
term_diff0.0.1175
tabling_dra1.0.4572
SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
prism0.2.1473
Run PRISM as a child process
nan_numerics_prime1.2.5472
Nan.Numerics.Prime - A simple prime number library
logicmoo_utils1.1.118571
Common predicates used by external Logicmoo Utils and Base
fluents0.1.07
Access all solutions of a goal without backtracking
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
biomake0.1.3372
Prolog makefile-like system
slack_prolog1.1.118165
Prolog interface to Slack http://www.slack.com
no_repeats1.1.118561
New ways to avoid duplicate solutions
ldap4pl0.1165
LDAP interface
hashtbl0.0.2165
Pure and impure hash tables
xlisting_web1.1.118451
Manipulate and browse prolog runtime over www
wordnet0.9.1252
Access to WordNet database
with_open_options1.1.118451
Utilities to open various objects for read/write
tidylog0.0.15
musicxml0.0.2153
MusicXML partial reader
instant_prolog_docs1.1.118451
Magically document prolog source files based on predicate and variable naming conventions
inotify0.9.1154
Access Linux inotify API to watch file system changes
geoip0.9.0153
Access GeoIP library
file_utilities0.15
File system related utilities
file_scope1.1.118451
File local scoped efects
with_thread_local1.1.118341
Call a Goal with local assertions
web0.1.1141
Easy web client
subclause_expansion1.1.118341
More detailed versions of term/goal expansion hooks
pha0.1.2242
Probabilistic Horn Abduction
obo_metadata0.0.4341
RDF vocabulary for OBO metadata ontologies
multimodal_dcg1.1.118341
Reduce floundering of DCGs by constraining and narrowing search
mime0.5.04
MIME processing library based on maildrop
midiutils0.0.34
midiutils
logicmoo_planners1.1.118143
Various Hybrid HTN Planners speaking PDDLish and OCLh
lib_atts1.1.118341
Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html
kubepl0.1141
Kubernetes Client
ciao0.0.14
Ciao Prolog compatibility library
body_reordering1.1.118143
Clause expansion Utils for deciding which order to run Goals in a body
upsh2.13
Save a state for executing commands.
twitter0.103
A pack to access the twitter api
timeutils0.0.43
Tools for temporally aware programming
rdf_notification0.13
RDF notification
rdet0.0.13
Runtime determinacy checker
mail_merge1.0.0131
Library for performing mail merge
httplog0.5.03
Analyse SWI-Prolog HTTP server log files
edcg0.9.03
Extended DCG
with0.0.42
Context managers for SWI Prolog
willie4.12121
Willie
stompl0.12
STOMP client
nan_system_sources1.2.02
Nan.System.Sources - Answer Sources in Prolog
log4p0.0.22
Logging for Prolog
indexed_terms1.0.02
Positional access to terms' arguments
admin4.12121
Admin
rtrace0.0.71
Selective Interactive Non-Deterministic Tracing
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
obo_ro0.0.11
Vocab for OBO Relation Ontology
obo_core0.0.11
Vocab for upper parts of core OBOs such as GO
notes8000.1.01
Query phone number data from 800notes.com
nanp0.1.01
phone numbers in the North American Numbering Plan
hilog1.1.1181
XSB-Prolog's Hilog Syntax in SWI-Prolog
dialect-ciao0.0.11
Ciao Prolog compatibility library
call_cleaup_each0.0.11
Call A Goal On Each Redo