News: Ann: SWI-Prolog 7.1.7Search 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.2163
Interface to Amazon APIs
arouter0.0.12
Alternative HTTP path router
assertions0.0.1251
Ciao Assertions Reader for SWI-Prolog
atom_feed0.2.04184
Parse Atom and RSS feeds
bencode0.0.15
Bencoding from BitTorrent protocol
by_unix0.1.611210
An elegance layer to calling unix commands.
callgraph0.2.1165
Predicate call graph visualisation
condition0.0.21105
Condition system a la Common Lisp
cowspeak0.0.46144
Cowspeak
db_facts0.1.013914
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
delay0.2.15233
Avoid instantiation errors for built-in predicates
dia0.19
An interface to .dia-uml-diagrams
dict_schema0.0.13
Dict converter and validator
dirtree1.0.0154
load XML of directory content
djson0.0.321711
Declarative JSON
docstore1.0.0274
Document-oriented database for Prolog
dotcloud0.0.21115
Conveniences for running on dotCloud
environ1.010
Demo package with C code, fetching the program environment
evil0.2.3171
(4/4)
Predicates to Further the Cause of Evil
format_spec0.0.211110
Parse and check format/2 specifications
func0.4.064410
(2/2)
Function application and composition
function_expansion0.1.222516
(1/1)
Help for writing function-like macros
graphml0.1.016
Write GraphML files
gvterm1.030
(1/1)
Show Prolog terms using graphviz
hello0.0.110
Hello World
interpolate0.0.113
String interpolation
jolog0.0.15
Concurrency via join calculus
julian0.1.12157
Date and time library
julian_lang_en0.0.2154
Parse English language phrases into library(julian) constraints
lambda1.0.046
(2/2)
Lambda expressions
lcs0.0.112
Longest common subsequence
list_util0.1.243216
Predicates for working with lists
markdown0.0.2182
Markdown parser for SWI-Prolog
mavis0.2.38255
Optional type declarations
maybe0.1.131411
The maybe type represents an optional value
memo0.1.4351
Persistent memoisation of deterministic predicates
miser0.0.111
Build self-optimizing predicates
mutable_variables1.0.011
Mutable Variables
nan_common1.22139
Common operations (validation, etc.)
odf_sheet0.2.23116
Load and analyze ODF spreadsheets (.ods)
os_sub0.0.63198
Collect files and sub-directories
pepl2.0.6372
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
plOpenGL0.6.1351
OpenGL Bindings
plmake0.0.38
Prolog makefile-like system
plmidi0.4.2291
Interface to Mac OS X MIDI system
plosc0.4.2271
OSC input/output via liblo
prosqlite0.1.299620
(0/1)
An SWI-Prolog interface to SQLite
pubmed0.0.43143
Access pubmed publication records
quickcheck0.0.32175
QuickCheck randomized testing
readability_parser0.0.43123
Readability Parser API
real1.1.06625
Integrative statistics with R
recaptcha0.9.221611
reCAPTCHA plugin for SWI-Prolog HTTP framework
refactor0.0.319251
Refactoring Tools for SWI-Prolog
regex0.2.477435
Regular expressions
resbound0.8.111413
Run goal with resource bounds
rtchecks0.0.1252
Run-Time Checking for Ciao and SWI-Prolog
rtp_qsndqs0.3297
Real-time persistent queues and deques.
semantria0.0.43155
Use Semantria natural language API
simple_template0.1.0152
Logic-free text (HTML) templates
smtp0.9.334026
An (E)SMTP client for sending mail
sort_dict0.0.2142
Sorts dicts by key
spuds0.1.48212
Persistent, user code inclusive, documentation server for linux
sql_compiler0.1.420
Prolog to SQL compiler
tap0.2.362010
Automated tests via Test Anything Protocol
term_diff0.0.11
thousands0.2.03116
(0/1)
Thousands separator for large integers
tor1.0.44221
Tor: Extensible Search with Hookable Disjunction
turing1.0.22105
Turing Machine Simulator
type_check1.0.112521
Type System for Prolog based on Hindley-Milner
unified_diff0.0.17
Parse and generate unified diffs
unionfind1.0.011
Optimal implementation of the union-find algorithm in CHR
uri_qq0.3.03165
URI quasiquotations
webconsole0.9.112524
Use a browser as HTML console
weblog0.0.54126
(0/1)
weblog
wsdl0.116
Web Service Description Language (WSDL) and SOAP
xlibrary0.0.2482
Extended libraries for Prolog
xtools0.0.27112
Extended tools for Prolog