News: New edition of the SWI-Prolog manual as bookSearch Documentation:
SWI-Prolog owl logoPacks (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.

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.32125
Interface to Amazon APIs
arouter1.0.0153
Alternative HTTP path router
assertions0.0.14121
Ciao Assertions Reader for SWI-Prolog
atom_feed0.2.04206
Parse Atom and RSS feeds
bencode0.0.16
Bencoding from BitTorrent protocol
by_unix0.1.611210
An elegance layer to calling unix commands.
callgraph0.2.77153
Predicate call graph visualisation
condition0.0.21116
Condition system a la Common Lisp
cowspeak0.0.46144
Cowspeak
db_facts0.1.014318
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
delay0.2.15255
Avoid instantiation errors for built-in predicates
dia0.19
An interface to .dia-uml-diagrams
dict_schema0.0.2174
Dict converter and validator
dirtree1.0.0165
load XML of directory content
djson0.0.322216
Declarative JSON
docstore1.0.13125
Document-oriented database for Prolog
dotcloud0.0.21126
Conveniences for running on dotCloud
environ1.011
Demo package with C code, fetching the program environment
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
fileutils0.1.4351
Utilities for reading, writing and finding files
format_spec0.0.211211
Parse and check format/2 specifications
func0.4.065521
(2/2)
Function application and composition
function_expansion0.1.222718
(1/1)
Help for writing function-like macros
graphml0.1.019
Write GraphML files
gvterm1.031
(1/1)
Show Prolog terms using graphviz
hello0.0.111
Hello World
interpolate0.0.115
String interpolation
jolog0.0.17
Concurrency via join calculus
julian0.1.122113
Date and time library
julian_lang_en0.0.2176
Parse English language phrases into library(julian) constraints
lambda1.0.061
(2/2)
Lambda expressions
lcs0.0.113
Longest common subsequence
list_util0.6.09455
Predicates for working with lists
markdown0.0.21115
Markdown parser for SWI-Prolog
mavis0.2.38277
Optional type declarations
maybe0.1.131613
The maybe type represents an optional value
memo0.1.54116
Persistent memoisation of deterministic predicates
miser0.0.112
Build self-optimizing predicates
mutable_variables1.0.012
Mutable Variables
nan_common1.221410
Common operations (validation, etc.)
odf_sheet0.2.34171
Load and analyze ODF spreadsheets (.ods)
os_sub0.0.63209
Collect files and sub-directories
pepl2.0.6372
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
pinyin0.1.5462
Parsing and generation of Hanyu Pinyin
plOpenGL0.6.1361
OpenGL Bindings
plmake0.0.310
Prolog makefile-like system
plmidi0.4.22102
Interface to Mac OS X MIDI system
plosc0.4.2293
OSC input/output via liblo
prosqlite0.1.2910428
(0/1)
An SWI-Prolog interface to SQLite
pubmed0.0.43143
Access pubmed publication records
quickcheck0.0.32197
QuickCheck randomized testing
rdfs2pl0.0.2132
Compile an RDFS schema to prolog predicates
readability_parser0.0.43134
Readability Parser API
real1.1.066710
Integrative statistics with R
recaptcha0.9.221813
reCAPTCHA plugin for SWI-Prolog HTTP framework
refactor0.0.324392
Refactoring Tools for SWI-Prolog
regex0.2.479859
Regular expressions
resbound0.8.111514
Run goal with resource bounds
rtchecks0.0.13103
Run-Time Checking for Ciao and SWI-Prolog
rtp_qsndqs0.32119
Real-time persistent queues and deques.
semantria0.0.43166
Use Semantria natural language API
simple_template0.3.03103
Logic-free text (HTML) templates
smtp0.9.334632
An (E)SMTP client for sending mail
sort_dict0.0.3295
Sorts dicts by key
spawn0.0.12
Easy concurrency
spuds0.1.48223
Persistent, user code inclusive, documentation server for linux
sql_compiler0.1.423
Prolog to SQL compiler
sweet0.1.0242
Sugar to make Prolog a little sweeter
switex0.0.7671
Literate programming with LaTeX and Prolog
tap0.2.362111
Automated tests via Test Anything Protocol
term_diff0.0.11
thousands0.2.03127
(0/1)
Thousands separator for large integers
tor1.0.44243
Tor: Extensible Search with Hookable Disjunction
turing1.0.22116
Turing Machine Simulator
type_check1.0.112622
Type System for Prolog based on Hindley-Milner
typedef0.1.2264
Support for type definitions
unified_diff0.0.18
Parse and generate unified diffs
unionfind1.0.012
Optimal implementation of the union-find algorithm in CHR
uri_qq0.3.03209
URI quasiquotations
webconsole0.9.113029
Use a browser as HTML console
weblog0.0.54126
(0/1)
weblog
wsdl0.117
Web Service Description Language (WSDL) and SOAP
xlibrary0.0.25142
Extended libraries for Prolog
xtools0.0.29202
Extended tools for Prolog