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: 289
Version
(#older)
Downloads
tot: 13,885
(#latest)
Rating
(#votes/
#comments)
Title
regex0.3.311729334
Regular expressions
list_util0.13.01872667
Predicates for working with lists
cplint4.5.01714932
A suite of programs for reasoning with probabilistic logic programs
achelois0.5.0749136
Collection of tools to make writing scripts in Prolog easier.
prosqlite1.515456101
(0/1)
An SWI-Prolog interface to SQLite
lambda1.0.0413
(4/4)
Lambda expressions
real2.011349144
Integrative statistics with R
julian0.1.3632914
Date and time library
logtalk3.27.0553223
Logtalk - Object-Oriented Logic Programming Language
smtp1.0.0525559
An (E)SMTP client for sending mail
func0.4.28235103
(2/2)
Function application and composition
tap0.4.21421924
Automated tests via Test Anything Protocol
callgraph0.4.11721278
(1/2)
Predicate call graph visualisation
aleph5171801
Aleph Inductive Logic Programming system
simple_template1.3.0817513
Logic-free text (HTML) templates
trill5.2.1921631
A tableau probabilistic reasoner in three different versions
db_facts0.5515238
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
plgi1.1.0111477
(1/1)
PLGI - Prolog bindings for GLib/GObject/GIO/GTK+
arouter1.1.1414499
Alternative HTTP path router
mavis0.2.3121422
Optional type declarations
yaml0.141372
YAML parser
typedef0.1.91013220
(2/2)
Support for type definitions
dcgutils1.1.31113233
DCG related utilities
quickcheck0.3.0161301
QuickCheck randomized testing
gvterm1.1112594
(1/1)
Show Prolog terms using graphviz
pac1.4.88412410
Anonymous predicates expansion utility
docstore2.0.1512286
Document-oriented database for Prolog
markdown0.0.21113107
Markdown parser for SWI-Prolog
matrix1.9.161012
Operations with matrices using prolog and c
sldnfdraw1.61810028
SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX
spawn0.0.199
Easy concurrency
graphml0.1.091
(1/1)
Write GraphML files
djson0.0.328882
Declarative JSON
sort_dict0.0.328682
Sorts dicts by key
dict_schema0.0.218683
Dict converter and validator
delay0.3.378456
Avoid instantiation errors for built-in predicates
blog_core1.5.1218310
Blog/CMS framework
plOpenGL0.6.258268
(1/1)
OpenGL Bindings
auc1.010822
Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves
webconsole0.9.118079
(0/1)
Use a browser as HTML console
hello0.0.175
(1/1)
Hello World
function_expansion0.1.227364
(1/1)
Help for writing function-like macros
type_check1.0.117268
Type System for Prolog based on Hindley-Milner
edcg0.9.01713
(1/1)
Extended DCG
sparkle0.0.986858
(1/1)
Prolog-friendly interface to SPARQL endpoints
memo0.6.1176716
Persistent memoisation of deterministic predicates
fileutils0.3.510635
Utilities for reading, writing and finding files
tokenize1.0.14622
A simple tokenization library
refactor0.0.341621
Refactoring Tools for SWI-Prolog
pfc1.2.11134612
Pfc -- a package for forward chaining in Prolog
recaptcha0.9.226055
reCAPTCHA plugin for SWI-Prolog HTTP framework
options1.27608
Options handling.
by_unix0.1.615957
An elegance layer to calling unix commands.
rserve_client1.2.015581
R Rserve client
rdet0.0.158
Runtime determinacy checker
dcg_util0.3.135820
(1/1)
DCG utility predicates
os_lib1.49578
Operating system interaction predicates.
odf_sheet0.2.345741
Load and analyze ODF spreadsheets (.ods)
genutils0.3.823576
General miscellaneous utilities
plcairo1.1.14564
plcairo - Prolog bindings for cairo graphics library
pack_errors2.15559
Contextual error handling for packs.
wsdl0.153
Web Service Description Language (WSDL) and SOAP
swicli2.0.0105315
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
xtools0.0.236512
Extended tools for Prolog
bio_db3.018511
Access, use and manage big, biological datasets.
sweet0.1.135045
Sugar to make Prolog a little sweeter
swipe0.2.6114820
Shell pipeline construction with type checking
logicmoo_base1.2.11135485
LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
amazon_api0.0.324841
Interface to Amazon APIs
wam_common_lisp1.2.111274611
ANSI Common Lisp implemented in Prolog
stoics_lib1.17468
A medley of library predicates for stoics packs
maybe0.1.134643
The maybe type represents an optional value
irc_client1.3.094623
Low level interface to IRC clients
atom_feed0.2.044632
Parse Atom and RSS feeds
tor1.0.444423
Tor: Extensible Search with Hookable Disjunction
phil1.0.027443
Learning Hierarchical Probabilistic Logic Programs parameters with gradient descent and Expectation Maximization
wordnet0.9.34438
Access to WordNet database
bims2.35426
Bayesian inference of model structure.
wgraph0.65412
Weighted graphs, with plotting via Real
musicbrainz0.7.0214115
Musicbrainz client library
weblog0.0.564012
(0/1)
weblog
bddem4.3.113402
A library for manipulating Binary Decision Diagrams
xlibrary0.0.225391
Extended Libraries for Prolog
prologmud_samples1.2.11126391
Online text adventure game - Sample
plosc0.4.66398
OSC input/output via liblo
environ1.039
Demo package with C code, fetching the program environment
lbfgs1.015381
An interface to call libLBFGS from within SWI-Prolog
condition0.1.133826
Condition system a la Common Lisp
rdfs2pl0.0.533614
Compile an RDFS schema to prolog predicates
mlu0.213629
Machine learning utilities
turing1.0.223530
Turing Machine Simulator
bencode0.0.134
Bencoding from BitTorrent protocol
pljulia0.1.417331
Embedded Julia for SWI Prolog
interpolate0.1.02331
String interpolation
ccprism0.1.020337
Probabilistic programming using delimited continuations
bio_db_repo19.5.713332
Data package for bio_db.
assertions0.0.122331
Ciao Assertions Reader for SWI-Prolog
uri_qq0.3.033221
URI quasiquotations
plml2.0.316328
Prolog-Matlab bridge
must_trace1.1.11825321
Trace with your eyeballs instead of your fingers
cplint_r1.0.0103213
R plotting predicates for cplint
transpiler0.111313
A universal translator for programming languages
sparqlprog0.1.393116
Logic programming with SPARQL
semantria0.0.433121
Use Semantria natural language API
spuds1.09303
Persistent, user code inclusive, documentation server for linux
rocksdb0.7.023017
SWI-Prolog interface to RocksDB
julian_lang_en0.0.213029
Parse English language phrases into library(julian) constraints
jolog0.0.313020
Concurrency via join calculus
plrand0.9.1313298
Skippable pseudorandom generator and distributions
plmidi0.7.07296
Interface to Mac OS X MIDI system
googleclient0.5.232911
SWI-Prolog code for "Login with Google"
debug_call1.24297
Debugging with calls
cplint_datasets1.029
Dataset for machine learning with cplint
sql_compiler0.1.428
Prolog to SQL compiler
pubmed0.0.432817
Access pubmed publication records
lcs0.0.128
Longest common subsequence
ffimatrix0.1.010281
Operations with matrices using Prolog and C
rtchecks0.0.118271
Run-Time Checker for Assertions
resbound0.8.112726
Run goal with resource bounds
prologmud1.2.11118271
Online text adventure game - MUD Server
xsd0.1.642621
XML Schema validation with Prolog
plchatscript1.0.942620
(1/1)
Interface to the ChatScript server.
mutable_variables1.0.026
Mutable Variables
dot_dcg0.1.04261
A DCG for a subset of the DOT language
dia0.126
An interface to .dia-uml-diagrams
plsmf0.5.082511
Standard MIDI File reading
pl_omdb0.5.08255
API interface to OMDB (Open Movie Database)
mqtt1.0.522523
mqtt - pub/sub pack for SWI-Prolog using mosquitto
link_grammar_prolog4.1.0.322521
A binding to use the Link Grammar library from SWI-Prolog
b_real0.432513
Interface predicates to commonly used R functions.
format_spec0.0.212423
Parse and check format/2 specifications
dirtree1.0.13246
Load XML of directory content.
cclab0.1.513247
Continuations lab
thousands0.2.032318
(0/1)
Thousands separator for large integers
rtp_qsndqs0.322321
Real-time persistent queues and deques.
gpc1.2.03235
Generic polygon clipper
eggdrop1.2.11116235
Hook up to an existing IRC Client called an Eggdrop
unionfind1.0.022
Optimal implementation of the union-find algorithm in CHR
simple_web0.3.16224
Microframework for building websites
nan_common1.222218
Common operations (validation, etc.)
readability_parser0.0.432112
Readability Parser API
predicate_streams1.2.11113214
Implement your own Abstract Predicate Streams
pepl2.14218
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
mtx0.43219
Working with data matrices
lib2.513214
Predicate based code development
switex0.0.762014
Literate programming with LaTeX and Prolog
roman0.1.020
Roman numerals
number_to_word0.4.252015
Integer to English word conversions
hdt0.552013
Access RDF HDT files
uuid1.1.021917
Generating and parsing version 4 UUIDs
hashtbl0.0.211918
Pure and impure hash tables
ffi0.12192
Dynamically call C functions
dotcloud0.0.211913
Conveniences for running on dotCloud
with_state0.0.561810
Stateful computations with records
sindice0.0.531811
Access to Sindice semantic web search engine
rtg0.0.711187
Regular Tree Grammer validator
miser0.0.118
Build self-optimizing predicates
dictoo1.2.11112184
Dict-like OO Syntax
clitable1.0.86183
Pretty unicode tables for the CLI with Prolog
biomake0.1.57185
Prolog makefile-like system
xlisting1.1.11812172
Selective Interactive Non-Deterministic Tracing
unified_diff0.0.117
Parse and generate unified diffs
plmake0.0.311712
Prolog makefile-like system
odict0.2.651712
Unifier over feature structures based on attributed variables
fcgi0.9.017
fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog
r_session1.111615
Interface to an R process
plumdrum0.0.63166
Parsing of Humdrum/Kern symbolic music file format
plasticsearch0.121614
Elasticsearch client API
pinyin0.1.551610
Parsing and generation of Hanyu Pinyin
gvar_syntax1.2.11112164
Global Variable Syntax
prologmud_I71.2.1119153
PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application
plfann0.0.24153
SWI-Prolog for "Fast Artificial Neural Network Library"
phil_datasets1.05154
Dataset for machine learning with phil
nan_numerics_prime1.2.541510
Nan.Numerics.Prime - A simple prime number library
mpi1.05151
Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
inotify0.9.111514
Access Linux inotify API to watch file system changes
index_util0.0.21158
Prolog index utils
http2_client1.0.06156
An HTTP/2 client
fnotation0.0.321512
Function notation for Prolog
file_utilities0.115
File system related utilities
twitter0.1014
(1/1)
A pack to access the twitter api
s_expression1.2.1119144
Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
ldap4pl0.111413
LDAP interface
instant_prolog_docs1.2.1117145
Magically document prolog source files based on predicate and variable naming conventions
geoip0.9.01143
Access GeoIP library
each_call_cleanup1.1.11810141
Each Call Redo Setup and Cleanup
chan0.2.014
Directional channels for thread communication
slack_prolog1.1.11811312
Prolog interface to Slack http://www.slack.com
msgpack0.1.64137
DCG for packing & unpacking of MessagePack data to/from bytes
hook_hybrid1.1.11812131
Hook assert retract call of *specific* predicates
web0.1.11129
Easy web client
race0.1.07121
Client for the SOAP interface of the Attempto Reasoner RACE
no_repeats1.1.1187123
New ways to avoid duplicate solutions
musicxml0.0.211210
MusicXML partial reader
loop_check1.1.1189122
New simple loop checking
logicmoo_utils1.2.1119122
Common predicates that are used throughout LogicMOO Software
fluents0.1.21121
Access all solutions of a goal without backtracking
edcgs0.1.34127
Extended Definite Clause Grammars
css_write1.0.011211
DCG for generating CSS
chess_db0.32128
PGN and chess game databases.
app0.112
Prolog Application Server
ape6.7.01122
Parser for Attempto Controlled English (ACE)
rdf_matcher0.1.53114
RDF matching utils
prism0.2.14117
Run PRISM as a child process
open_dicts0.0.111
Open dicts for SWI Prolog
graphpl0.1.13114
Graph data structure utilities
bousi_pack1.0.03111
On my way to a SWISH enabled BPL - a FLI exercise
with_open_options1.2.116103
Utilities to open various objects for read/write
upsh2.43104
Unix to Prolog shell.
multimodal_dcg1.2.1115104
Reduce floundering of DCGs by constraining and narrowing search
lsp_server1.1.54104
A Prolog LSP Server
fine_upload0.1.54105
HTTP support for file uploading
clause_attvars1.1.1187101
An alternate interface to the clause database to allow attributed variables to be asserted
with0.0.49
Context managers for SWI Prolog
timeutils0.0.49
Tools for temporally aware programming
term_diff0.0.1197
space0.29
Space package
smtlib0.0.6592
SMT-LIB parser for SWI-Prolog
pha0.1.2297
Probabilistic Horn Abduction
log4p0.0.29
Logging for Prolog
chat801.09
Classic CHAT80 Prolog natural language application
xlisting_web1.1.118682
Manipulate and browse prolog runtime over www
tidylog0.0.18
midiutils0.0.38
midiutils
mail_merge1.0.0181
Library for performing mail merge
lib_atts1.1.118381
Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html
graphql0.0.18
GraphQL Prolog Library
consul_client0.0.4285
Consul Client
tabling_dra1.0.4572
SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
subclause_expansion1.1.118571
More detailed versions of term/goal expansion hooks
simple_bootstrap0.0.2175
Bootstrap Extension to Simple Web
resp0.3374
Redis protocol parser and writer
pub_graph1.1175
Access, cache and visualise citation relations in publications servers
pfd_meta0.17
Probabilistic finite domains meta-interpreter
mime0.5.07
MIME processing library based on maildrop
logicmoo_planners1.1.118273
Various Hybrid HTN Planners speaking PDDLish and OCLh
indexed_terms1.0.07
Positional access to terms' arguments
httplog0.5.0173
Analyse SWI-Prolog HTTP server log files
file_scope1.1.118571
File local scoped efects
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
dictype0.0.27
Concise dict type definitions
date_time0.1.1175
Logical arithmetic on dates and times
ciao0.0.17
Ciao Prolog compatibility library
body_reordering1.2.111271
Clause expansion Utils for deciding which order to run Goals in a body
bibtex0.1.6176
Parser and predicates for BibTeX files
obo_metadata0.0.4363
RDF vocabulary for OBO metadata ontologies
fld0.1.0262
Easy assess to term args when loading from ODBC or CSV.
dpath0.5.8262
Directory traversal module
dcg4pt0.2.0263
DCG for Parse Trees
bio_analytics0.3261
Computational biology data analytics.
with_thread_local1.2.111451
Call a Goal with local assertions
vcard0.0.15
vCard Parser and Predicates
rdf_notification0.15
RDF notification
pcache0.1.05
Persistent answer cache
pager0.1.0151
Send output to user's preferred pager
obo_ro0.0.15
Vocab for OBO Relation Ontology
nan_system_sources1.2.05
Nan.System.Sources - Answer Sources in Prolog
lazy_streams0.5.05
Lazy Stream Generators
kubepl0.1152
Kubernetes Client
jwt_io0.0.2154
JWT implementation
ical0.1.05
iCalendar DCGs and parsers
sparqlprog_wikidata0.0.14
SPARQLprog bindings for WikiData
plcomplex0.14
Simple calculation of complex numbers
planner_api1.1.118242
planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh
obo_core0.0.14
Vocab for upper parts of core OBOs such as GO
mathml0.0.14
Translates mathematical expressions to compounds that can be used by SWISH html//1.
lambda_abstractions0.2.1143
Lambda abstractions
hilog1.1.118143
XSB-Prolog's Hilog Syntax in SWI-Prolog
flux1.1.1184
FLUX: A logic programming method for reasoning agents and ALPprologis a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.
coworkers0.1.04
Workflow definition as tree of coroutines
stompl0.13
STOMP client
pluuid2.0.03
Generating and parsing version 4 UUIDs in Pure Prolog
pac4pl0.1131
An SWI-Prolog interface to libPAC
notes8000.1.0131
Query phone number data from 800notes.com
nanp0.1.0132
phone numbers in the North American Numbering Plan
openapi0.12
OpenAPI (Swagger) interface
mail_standards0.1.02
Mail IMF and Maildir implementations.
clpBNR0.8.12
CLP over Reals using Interval Arithmetic - includes Integer and Boolean domains as subsets.
wumpus1.0.01
Hunt The Wumpus
small_adventure_games1.1.81
Small Adventure Games in Prolog using the CHAT80 Prolog natural language application
rtrace0.0.71
Selective Interactive Non-Deterministic Tracing
resp_parse0.11
Redis protocol parser and writer
plplot0.0.11
A library to plot data using gnuplot.
pddl_valoptic_api1.1.1181
pddl_valoptic_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use PDDL based planners.
identity0.2.21
Registration, login, and role management
graphql-swipl0.0.11
GraphQL Prolog Library
dialect-ciao0.0.11
Ciao Prolog compatibility library
ct_fft0.01
Cooley–Tukey FFT algorithm
call_cleaup_each0.0.11
Call A Goal On Each Redo