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: 313
Version
(#older)
Downloads
tot: 23,524
(#latest)
Rating
(#votes/
#comments)
Title
achelois0.5.074,20174
Collection of tools to make writing scripts in Prolog easier.
mavis0.2.3131,0012
Optional type declarations
list_util0.13.018991312
Predicates for working with lists
regex0.3.311921526
Regular expressions
logtalk3.39.0676292
Logtalk - Object-Oriented Logic Programming Language
cplint4.5.01816202
A suite of programs for reasoning with probabilistic logic programs
prosqlite1.61657322
(0/1)
An SWI-Prolog interface to SQLite
terminus_store_prolog0.10.02754521
Use the Terminus-Store Rust library from Prolog
lambda1.0.0505
(4/4)
Lambda expressions
real2.11242810
Integrative statistics with R
julian0.1.3639214
Date and time library
simple_template1.3.19295105
Logic-free text (HTML) templates
tap1.0.11827510
Automated tests via Test Anything Protocol
func0.4.28271139
(2/2)
Function application and composition
smtp1.0.0526771
An (E)SMTP client for sending mail
callgraph0.4.117257123
(1/2)
Predicate call graph visualisation
dcgutils1.1.311256157
DCG related utilities
aleph5192441
Aleph Inductive Logic Programming system
trill5.2.11092301
A tableau probabilistic reasoner in three different versions
sldnfdraw1.618208136
SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX
plgi1.1.01117434
(1/1)
PLGI - Prolog bindings for GLib/GObject/GIO/GTK+
edcg0.9.1.361737
(1/1)
Extended DCG
yaml0.141712
YAML parser
db_facts0.5516955
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
arouter1.1.14166120
Alternative HTTP path router
typedef0.1.91016250
(2/2)
Support for type definitions
rdet1.0.2716011
Runtime determinacy checker
gvterm1.11145114
(1/1)
Show Prolog terms using graphviz
quickcheck0.3.0171421
QuickCheck randomized testing
docstore2.0.15137101
Document-oriented database for Prolog
pac1.5.1871362
Anonymous predicates expansion utility
matrix1.9.161302
Operations with matrices using prolog and c
markdown0.0.3213010
Markdown parser for SWI-Prolog
djson0.0.32114108
Declarative JSON
tokenize1.0.1411252
A simple tokenization library
spawn0.0.1112
Easy concurrency
graphml0.1.0108
(1/1)
Write GraphML files
dcg_util0.3.139521
(1/1)
DCG utility predicates
sort_dict0.0.329490
Sorts dicts by key
plOpenGL0.6.259480
(1/1)
OpenGL Bindings
dict_schema0.0.219390
Dict converter and validator
blog_core1.5.222915
Blog/CMS framework
auc1.010892
Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves
rserve_client1.2.0168729
R Rserve client
function_expansion0.1.24871
(1/1)
Help for writing function-like macros
webconsole0.9.118584
(0/1)
Use a browser as HTML console
sparqlprog0.2.9178418
Logic programming with SPARQL
delay0.3.378456
Avoid instantiation errors for built-in predicates
pfc1.4.11140835
Pfc -- a package for forward chaining in Prolog
phil1.0.044821
Learning Hierarchical Probabilistic Logic Programs
openapi0.21823
OpenAPI (Swagger) interface
plcairo1.1.147725
plcairo - Prolog bindings for cairo graphics library
hello0.0.175
(1/1)
Hello World
odf_sheet0.2.45746
Load and analyze ODF spreadsheets (.ods)
bddem4.3.116742
A library for manipulating Binary Decision Diagrams
options1.277321
Options handling.
type_check1.0.117268
Type System for Prolog based on Hindley-Milner
sparkle0.0.987262
(1/1)
Prolog-friendly interface to SPARQL endpoints
memo0.6.1177221
Persistent memoisation of deterministic predicates
refactor0.0.346691
Refactoring Tools for SWI-Prolog
pack_errors2.156822
Contextual error handling for packs.
wam_common_lisp1.4.11136671
ANSI Common Lisp implemented in Prolog
os_lib1.496718
Operating system interaction predicates.
fileutils0.3.510679
Utilities for reading, writing and finding files
date_time0.1.336627
Logical arithmetic on dates and times
genutils0.3.8236514
General miscellaneous utilities
recaptcha0.9.226459
reCAPTCHA plugin for SWI-Prolog HTTP framework
by_unix0.1.616361
An elegance layer to calling unix commands.
logicmoo_base1.4.11139621
LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
bio_db3.119623
Access, use and manage big, biological datasets.
xsd0.2.07608
XML Schema validation with Prolog
wordnet0.9.346012
Access to WordNet database
swicli2.0.0106022
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
xtools0.0.241592
Extended tools for Prolog
wsdl0.159
Web Service Description Language (WSDL) and SOAP
stoics_lib1.175719
A medley of library predicates for stoics packs
maybe0.1.135754
The maybe type represents an optional value
amazon_api0.0.325750
Interface to Amazon APIs
wgraph0.655617
Weighted graphs, with plotting via Real
sweet0.1.135449
Sugar to make Prolog a little sweeter
lsp_server1.4.4175411
A Prolog LSP Server
atom_feed0.2.045440
Parse Atom and RSS feeds
bims2.355317
Bayesian inference of model structure.
transpiler0.113523
A universal translator for programming languages
ffi0.13522
Dynamically call C functions
swipe0.2.6115123
Shell pipeline construction with type checking
mlu0.215144
Machine learning utilities
irc_client1.3.095027
Low level interface to IRC clients
cplint_datasets1.050
Dataset for machine learning with cplint
prologmud_samples1.4.11129496
Online text adventure game - Sample
interpolate0.1.02481
String interpolation
cplint_r1.0.014486
R plotting predicates for cplint
condition0.1.134836
Condition system a la Common Lisp
pljulia0.1.417461
Embedded Julia for SWI Prolog
rdfs2pl0.0.534523
Compile an RDFS schema to prolog predicates
lbfgs1.015451
An interface to call libLBFGS from within SWI-Prolog
tor1.0.444423
Tor: Extensible Search with Hookable Disjunction
logicmoo_nlu1.4.11113441
Various English to Logic Converters - warning: HUGE amount of lexical and test data
xlibrary0.0.228431
Extended Libraries for Prolog
weblog0.0.564312
(0/1)
weblog
turing1.0.224338
Turing Machine Simulator
musicbrainz0.7.0214317
Musicbrainz client library
ffimatrix0.1.010431
Operations with matrices using Prolog and C
plosc0.4.664211
OSC input/output via liblo
nan_numerics_prime1.2.544136
Nan.Numerics.Prime - A simple prime number library
environ1.041
Demo package with C code, fetching the program environment
ccprism0.1.0204115
Probabilistic programming using delimited continuations
hdt0.564025
Access RDF HDT files
rocksdb0.8.05391
SWI-Prolog interface to RocksDB
prologmud1.4.11123391
Online text adventure game - MUD Server
must_trace1.1.11826391
Trace with your eyeballs instead of your fingers
bio_db_repo20.3.814392
Data package for bio_db.
assertions0.0.127391
Ciao Assertions Reader for SWI-Prolog
debug_call1.35382
Debugging with calls
simple_web0.3.163719
Microframework for building websites
logicmoo_utils1.5.66621371
Common predicates that are used throughout LogicMOO Software
bencode0.0.137
Bencoding from BitTorrent protocol
uuid1.1.023533
Generating and parsing version 4 UUIDs
semantria0.0.433424
Use Semantria natural language API
plml2.0.3163410
Prolog-Matlab bridge
link_grammar_prolog4.1.0.323430
A binding to use the Link Grammar library from SWI-Prolog
julian_lang_en0.0.213433
Parse English language phrases into library(julian) constraints
jolog0.0.313424
Concurrency via join calculus
fnotation0.0.33343
Function notation for Prolog
plchatscript1.0.943327
(1/1)
Interface to the ChatScript server.
mtx0.54334
Working with data matrices
mqtt1.0.523331
mqtt - pub/sub pack for SWI-Prolog using mosquitto
http2_client1.0.063324
An HTTP/2 client
css_write1.2.03335
DCG for generating CSS
uri_qq0.3.033221
URI quasiquotations
rtchecks0.0.121321
Run-Time Checker for Assertions
plsmf0.5.083218
Standard MIDI File reading
plmidi0.7.07329
Interface to Mac OS X MIDI system
jwt_io0.0.34329
JWT implementation
gvar_syntax1.5.66616321
Global Variable Syntax
dictoo1.4.11115321
Dict-like OO Syntax
spuds1.110311
Persistent, user code inclusive, documentation server for linux
resbound0.8.113130
Run goal with resource bounds
index_util0.0.213124
Prolog index utils
googleclient0.5.233111
SWI-Prolog code for "Login with Google"
rtp_qsndqs0.323028
Real-time persistent queues and deques.
pubmed0.0.433019
Access pubmed publication records
predicate_streams1.5.66616303
Implement your own Abstract Predicate Streams
lcs0.0.130
Longest common subsequence
gpc1.2.03309
Generic polygon clipper
roman0.1.029
Roman numerals
plrand0.9.1313298
Skippable pseudorandom generator and distributions
lib2.715291
Predicate based code development
b_real0.432917
Interface predicates to commonly used R functions.
thousands0.2.032823
(0/1)
Thousands separator for large integers
sql_compiler0.1.428
Prolog to SQL compiler
inotify0.9.112827
Access Linux inotify API to watch file system changes
format_spec0.0.212827
Parse and check format/2 specifications
eggdrop1.4.11118281
Hook up to an existing IRC Client called an Eggdrop
dia0.128
An interface to .dia-uml-diagrams
hashtbl0.0.212726
Pure and impure hash tables
dot_dcg0.1.04271
A DCG for a subset of the DOT language
dirtree1.0.13279
Load XML of directory content.
clitable1.0.862712
Pretty unicode tables for the CLI with Prolog
pl_omdb0.5.08266
API interface to OMDB (Open Movie Database)
mutable_variables1.0.026
Mutable Variables
instant_prolog_docs1.4.11110261
Magically document prolog source files based on predicate and variable naming conventions
biomake0.1.58266
Prolog makefile-like system
xlisting1.2.11115252
Selective Interactive Non-Deterministic Tracing
cclab0.1.513258
Continuations lab
with_state0.0.562416
Stateful computations with records
readability_parser0.0.432415
Readability Parser API
phil_datasets1.07244
Dataset for machine learning with phil
nan_common1.222420
Common operations (validation, etc.)
multimodal_dcg1.4.1116243
Reduce floundering of DCGs by constraining and narrowing search
switex0.0.762317
Literate programming with LaTeX and Prolog
rtg0.0.7112312
Regular Tree Grammer validator
prologmud_I71.2.11112233
PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application
pepl2.142310
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
number_to_word0.4.252318
Integer to English word conversions
unionfind1.0.022
Optimal implementation of the union-find algorithm in CHR
graphpl0.1.16222
Graph data structure utilities
ape6.7.01222
Parser for Attempto Controlled English (ACE)
web0.1.112118
Easy web client
sindice0.0.532114
Access to Sindice semantic web search engine
s_expression1.2.11192111
Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
rdf_matcher0.1.532114
RDF matching utils
plcal0.0.55211
Programming Calendar
mathml0.214211
Translates mathematical expressions to compounds that can be used by html//1 (SWISH) or html//3 (normal SWIPL, with pack http/html_write).
dotcloud0.0.212115
Conveniences for running on dotCloud
chat801.021
Classic CHAT80 Prolog natural language application
plfann0.0.24203
SWI-Prolog for "Fast Artificial Neural Network Library"
geoip0.9.01203
Access GeoIP library
file_utilities0.120
File system related utilities
dcg4pt0.2.03203
DCG for Parse Trees
unified_diff0.0.119
Parse and generate unified diffs
timeutils0.0.419
Tools for temporally aware programming
miser0.0.119
Build self-optimizing predicates
fcgi0.9.019
fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog
dpath0.5.114198
Directory traversal module
odict0.2.651813
Unifier over feature structures based on attributed variables
chess_db0.321814
PGN and chess game databases.
sparqlprog_wikidata0.0.32179
SPARQLprog bindings for WikiData
slack_prolog1.1.11821715
Prolog interface to Slack http://www.slack.com
plumdrum0.0.63177
Parsing of Humdrum/Kern symbolic music file format
plmake0.0.311712
Prolog makefile-like system
plasticsearch0.121715
Elasticsearch client API
pinyin0.1.551711
Parsing and generation of Hanyu Pinyin
pha0.1.221715
Probabilistic Horn Abduction
open_dicts0.0.117
Open dicts for SWI Prolog
ldap4pl0.111716
LDAP interface
twitter0.1016
(1/1)
A pack to access the twitter api
r_session1.111615
Interface to an R process
msgpack0.1.641610
DCG for packing & unpacking of MessagePack data to/from bytes
mpi1.05161
Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
graphql0.0.116
GraphQL Prolog Library
each_call_cleanup1.1.11810161
Each Call Redo Setup and Cleanup
chan0.2.016
Directional channels for thread communication
canny_tudor0.7.010161
Canny bag o' Tudor
with0.0.415
Context managers for SWI Prolog
upsh2.54154
Unix to Prolog shell.
plplot0.0.12154
A library to plot data using gnuplot.
musicxml0.0.211513
MusicXML partial reader
log4p0.0.215
Logging for Prolog
with_open_options1.2.116147
Utilities to open various objects for read/write
smtlib0.0.65147
SMT-LIB parser for SWI-Prolog
httplog0.5.01143
Analyse SWI-Prolog HTTP server log files
hook_hybrid1.1.11812142
Hook assert retract call of *specific* predicates
fluents0.1.21143
Access all solutions of a goal without backtracking
bousi_pack1.0.03141
On my way to a SWISH enabled BPL - a FLI exercise
body_reordering1.4.1114142
Clause expansion Utils for deciding which order to run Goals in a body
space0.31133
Space package
race0.1.07131
Client for the SOAP interface of the Attempto Reasoner RACE
prism0.2.14139
Run PRISM as a child process
no_repeats1.1.1187134
New ways to avoid duplicate solutions
fine_upload0.1.54138
HTTP support for file uploading
vcard0.0.112
vCard Parser and Predicates
simple_bootstrap0.0.211210
Bootstrap Extension to Simple Web
quantity0.18121
Parse quantities like "1.5 kg" and return some formatting information.
loop_check1.1.1189122
New simple loop checking
lambda_abstractions0.2.111211
Lambda abstractions
flux1.1.11812
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.
app0.112
Prolog Application Server
xlisting_web1.1.1186115
Manipulate and browse prolog runtime over www
prolog_library_collection1.0.85115
Prolog Library Collection
mail_merge1.0.01111
Library for performing mail merge
file_scope1.1.1185111
File local scoped efects
clpBNR0.9.02111
CLP over Reals using Interval Arithmetic - includes Rational, Integer and Boolean domains as subsets.
clause_attvars1.1.1187111
An alternate interface to the clause database to allow attributed variables to be asserted
bio_analytics0.32116
Computational biology data analytics.
tidylog0.0.110
term_diff0.0.11108
subclause_expansion1.1.1185101
More detailed versions of term/goal expansion hooks
obo_metadata0.0.43107
RDF vocabulary for OBO metadata ontologies
mime0.5.010
MIME processing library based on maildrop
fld0.1.03102
Easy assess to term args when loading from ODBC or CSV.
consul_client0.0.42107
Consul Client
ciao0.0.110
Ciao Prolog compatibility library
with_thread_local1.2.111495
Call a Goal with local assertions
resp0.3396
Redis protocol parser and writer
pub_graph1.1197
Access, cache and visualise citation relations in publications servers
prolog_graphviz1.0.3198
Prolog Graph Visualization
prolog_geo1.0.5493
Geospatial support in Prolog
plcomplex0.2191
Simple calculation of complex numbers
pfd_meta0.19
Probabilistic finite domains meta-interpreter
libssh0.9.1296
Provide an embedded SSH server
lib_atts1.1.118391
Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html
lazy_streams0.5.09
Lazy Stream Generators
indexed_terms1.0.09
Positional access to terms' arguments
ical0.1.09
iCalendar DCGs and parsers
rdf_notification0.18
RDF notification
planner_api1.1.118384
planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh
midiutils0.0.38
midiutils
logicmoo_planners1.1.118284
Various Hybrid HTN Planners speaking PDDLish and OCLh
dictype0.0.28
Concise dict type definitions
bibtex0.1.6187
Parser and predicates for BibTeX files
ansi_termx0.0.18
ANSI terminal operations
tabling_dra1.0.4572
SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
prolog_uriparser1.0.4472
Prolog uriparser
pcache0.1.07
Persistent answer cache
ontodot0.1.1274
Create dot files from an RDF ontology.
obo_ro0.0.17
Vocab for OBO Relation Ontology
nan_system_sources1.2.07
Nan.System.Sources - Answer Sources in Prolog
kubepl0.1174
Kubernetes Client
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
spotify0.1.06
Use the Spotify API from Prolog.
plammar1.0.2263
Prolog parser and serialiser written in Prolog
pager0.1.0161
Send output to user's preferred pager
obo_core0.0.16
Vocab for upper parts of core OBOs such as GO
hilog1.1.118165
XSB-Prolog's Hilog Syntax in SWI-Prolog
prolog_imagemagick1.0.2253
Prolog ImageMagick binding
pluuid2.0.05
Generating and parsing version 4 UUIDs in Pure Prolog
identity0.2.25
Registration, login, and role management
coworkers0.1.05
Workflow definition as tree of coroutines
stompl0.14
STOMP client
pac4pl0.1141
An SWI-Prolog interface to libPAC
notes8000.1.0141
Query phone number data from 800notes.com
nanp0.1.0143
phone numbers in the North American Numbering Plan
matrix_utls1.1143
Matrix utilities: Kronecker (Tensor), Hadamard, and matrices creation/multiplications
union_find1.0.03
A union-find algorithm implementation for SWI-Prolog
prolog_starter_project1.0.2132
Prolog Starter Package
prolog_rdf1.0.13
Prolog RDF Library
ontoweb0.0.4132
Show an ontology through a Web service.
mail_standards0.1.03
Mail IMF and Maildir implementations.
print_table0.0.5121
Formats and prints a table on the terminal screen
wumpus1.0.01
Hunt The Wumpus
telegrambot0.0.21
API for Telegram
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
progress_bar0.0.51
Progress-bar and spinner (text-based)
pddl_valoptic_api1.1.1181
pddl_valoptic_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use PDDL based planners.
imodule0.0.11
Support for modules from the server.
hello_world0.11
Hello World pack as a test
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