News: Todo-Backend: a shared example to showcase backend tech stacksSearch Documentation:
Kings day in the NetherlandsPacks (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
amazon_api0.0.321912
Interface to Amazon APIs
app0.13
Prolog Application Server
arouter1.0.011210
Alternative HTTP path router
assertions0.0.18171
Ciao Assertions Reader for SWI-Prolog
atom_feed0.2.042410
Parse Atom and RSS feeds
bencode0.0.113
Bencoding from BitTorrent protocol
bims0.63
Bims- Bayesian inference of model structure.
blog_core0.0.32179
Blog/CMS framework
by_unix0.1.611311
An elegance layer to calling unix commands.
callgraph0.4.016493
(1/1)
Predicate call graph visualisation
condition0.1.13131
Condition system a la Common Lisp
cowspeak0.0.46155
Cowspeak
cplint2.018441
A suite of programs for reasoning with probabilistic logic programs
db_facts0.1.015530
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
dcg_util0.3.1154
DCG utility predicates
dcgutils0.0.86142
DCG related utilities
delay0.3.37302
Avoid instantiation errors for built-in predicates
dia0.111
An interface to .dia-uml-diagrams
dict_schema0.0.21118
Dict converter and validator
dirtree1.0.0176
load XML of directory content
djson0.0.322822
Declarative JSON
docstore1.0.131912
Document-oriented database for Prolog
dotcloud0.0.21148
Conveniences for running on dotCloud
edcg0.9.03
Extended DCG
environ1.013
Demo package with C code, fetching the program environment
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
fileutils0.2.05115
Utilities for reading, writing and finding files
format_spec0.0.211312
Parse and check format/2 specifications
func0.4.068046
(2/2)
Function application and composition
function_expansion0.1.223728
(1/1)
Help for writing function-like macros
genutils0.0.2121
General miscellaneous utilities
geoip0.9.03
Access GeoIP library
googleclient0.5.2175
SWI-Prolog code for "Login with Google"
graphml0.1.033
(1/1)
Write GraphML files
gvterm1.114110
(1/1)
Show Prolog terms using graphviz
hello0.0.119
Hello World
httplog0.5.02
Analyse SWI-Prolog HTTP server log files
interpolate0.1.01221
String interpolation
jolog0.0.31166
Concurrency via join calculus
julian0.1.345110
Date and time library
julian_lang_en0.0.211110
Parse English language phrases into library(julian) constraints
lambda1.0.0105
(4/4)
Lambda expressions
lbfgs1.011171
An interface to call libLBFGS from within SWI-Prolog
lcs0.0.115
Longest common subsequence
list_util0.6.097434
Predicates for working with lists
logtalk3.0.11115
Logtalk - Object-Oriented Logic Programming Language
markdown0.0.211913
Markdown parser for SWI-Prolog
mavis0.2.384727
Optional type declarations
maybe0.1.132421
The maybe type represents an optional value
memo0.4.114261
Persistent memoisation of deterministic predicates
miser0.0.112
Build self-optimizing predicates
musicbrainz0.7.021293
Musicbrainz client library
mutable_variables1.0.013
Mutable Variables
nan_common1.221410
Common operations (validation, etc.)
nanp0.1.01
phone numbers in the North American Numbering Plan
notes8000.1.01
Query phone number data from 800notes.com
odf_sheet0.2.34237
Load and analyze ODF spreadsheets (.ods)
os_sub0.0.632211
Collect files and sub-directories
pac0.6.512141
Anonymous predicates expansion utility
pac4pl0.11
An SWI-Prolog interface to libPAC
pager0.1.01
Send output to user's preferred pager
pepl2.0.6394
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
pinyin0.1.5593
Parsing and generation of Hanyu Pinyin
plOpenGL0.6.25217
(1/1)
OpenGL Bindings
plmake0.0.311
Prolog makefile-like system
plmidi0.4.22146
Interface to Mac OS X MIDI system
plml1.2.07111
Prolog-Matlab bridge
plosc0.4.44153
OSC input/output via liblo
plsmf0.3.0471
Standard MIDI File reading
plumdrum0.0.2142
Parsing of Humdrum/Kern symbolic music file format
prosqlite1.01015325
(0/1)
An SWI-Prolog interface to SQLite
pubmed0.0.43165
Access pubmed publication records
quickcheck0.1.04333
QuickCheck randomized testing
r_session1.1121
Interface to an R process
rdfs2pl0.0.3296
Compile an RDFS schema to prolog predicates
readability_parser0.0.43134
Readability Parser API
real1.279924
Integrative statistics with R
recaptcha0.9.223025
reCAPTCHA plugin for SWI-Prolog HTTP framework
refactor0.0.330461
Refactoring Tools for SWI-Prolog
regex0.2.47146107
Regular expressions
resbound0.8.111514
Run goal with resource bounds
rtchecks0.0.16153
Run-Time Checking for Ciao and SWI-Prolog
rtp_qsndqs0.321311
Real-time persistent queues and deques.
semantria0.0.43166
Use Semantria natural language API
simple_template0.3.03136
Logic-free text (HTML) templates
sindice0.0.53103
Access to Sindice semantic web search engine
smtp0.9.337056
An (E)SMTP client for sending mail
sort_dict0.0.32117
Sorts dicts by key
sparkle0.0.98144
(1/1)
Prolog-friendly interface to SPARQL endpoints
spawn0.0.123
Easy concurrency
spuds0.1.48245
Persistent, user code inclusive, documentation server for linux
sql_compiler0.1.426
Prolog to SQL compiler
sweet0.1.13127
Sugar to make Prolog a little sweeter
swicli1.0.2285
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
swipe0.2.29162
Shell pipeline construction with type checking
switex0.0.7682
Literate programming with LaTeX and Prolog
tap0.3.08332
Automated tests via Test Anything Protocol
term_diff0.0.12
thousands0.2.03127
(0/1)
Thousands separator for large integers
tor1.0.44276
Tor: Extensible Search with Hookable Disjunction
trill1.09181
A tableau probabilistic reasoner
turing1.0.22149
Turing Machine Simulator
type_check1.0.113632
Type System for Prolog based on Hindley-Milner
typedef0.1.332211
(2/2)
Support for type definitions
unified_diff0.0.19
Parse and generate unified diffs
unionfind1.0.013
Optimal implementation of the union-find algorithm in CHR
uri_qq0.3.032413
URI quasiquotations
web0.1.13
Easy web client
webconsole0.9.114039
Use a browser as HTML console
weblog0.0.55175
(0/1)
weblog
wsdl0.118
Web Service Description Language (WSDL) and SOAP
xlibrary0.0.213242
Extended libraries for Prolog
xtools0.0.216272
Extended tools for Prolog