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: 373
Version
(#older)
Downloads
tot: 55,294
(#latest)
Rating
(#votes/
#comments)
Title
typedef0.1.910419307
(2/2)		Support for type definitions
twitter0.101246
(1/1)		A pack to access the twitter api
plgi1.1.01123494
(1/1)		PLGI - Prolog bindings for GLib/GObject/GIO/GTK+
plchatscript1.0.943630
(1/1)		Interface to the ChatScript server.
lambda1.0.0767
(4/4)		Lambda expressions
graphml0.1.0142
(1/1)		Write GraphML files
function_expansion0.1.241095
(1/1)		Help for writing function-like macros
func0.4.28356224
(2/2)		Function application and composition
edcg0.9.1.8132561
(1/1)		Extended DCG
dcg_util0.3.1314125
(1/1)		DCG utility predicates
date_time0.1.462,8182,032
(1/1)		Logical arithmetic on dates and times
callgraph0.4.117356222
(1/2)		Predicate call graph visualisation
sparkle0.1.19855
(1/1)		Prolog-friendly interface to SPARQL endpoints
refactor0.0.362981
(1/1)		Refactoring Tools for SWI-Prolog
hello0.0.175
(1/1)		Hello World
gvterm1.11221190
(1/1)		Show Prolog terms using graphviz
evil0.2.3171
(4/4)		Predicates to Further the Cause of Evil
plOpenGL0.6.25142128
(1/1)		OpenGL Bindings
yaml0.142062
YAML parser
xtools0.0.258832
Extended Tools for SWI-Prolog
xsd0.2.18853
XML Schema validation with Prolog
xlisting_web1.1.11861913
Manipulate and browse prolog runtime over www
xlisting1.2.11115292
Selective Interactive Non-Deterministic Tracing
xlibrary0.0.238561
Extended Libraries for Prolog
wumpus1.0.01
Hunt The Wumpus
wsdl0.198
Web Service Description Language (WSDL) and SOAP
wordnet0.9.3413719
Access to WordNet database
with_thread_local1.2.1115145
Call a Goal with local assertions
with_state0.0.563123
Stateful computations with records
with_open_options1.2.1162215
Utilities to open various objects for read/write
with_memory_file0.1151
Like with_output_to but for memory files
with0.0.61272
Context managers for SWI Prolog
wgraph0.657233
Weighted graphs, with plotting via Real
weblog0.0.565212
(0/1)		weblog
webconsole0.9.119796
(0/1)		Use a browser as HTML console
web0.1.114037
Easy web client
wam_common_lisp2.0.3409819
ANSI Common Lisp implemented in Prolog
vcard0.0.112
vCard Parser and Predicates
uuid1.1.027573
Generating and parsing version 4 UUIDs
uri_qq0.3.033827
URI quasiquotations
upsh2.543019
Unix to Prolog shell.
unionfind1.0.022
Optimal implementation of the union-find algorithm in CHR
union_find1.0.036
A union-find algorithm implementation for SWI-Prolog
unified_diff0.0.128
Parse and generate unified diffs
type_check1.0.339723
Type System for Prolog based on Hindley-Milner
tus0.0.14132432
TUS file transport protocol in prolog
turing1.0.224338
Turing Machine Simulator
trill6.0.61233148
A tableau probabilistic reasoner in three different versions
transpiler0.1221093
A universal translator for programming languages
tor1.0.444423
Tor: Extensible Search with Hookable Disjunction
tokenize1.0.14269209
A simple tokenization library
timeutils0.0.428
Tools for temporally aware programming
tidylog0.0.117
thousands0.2.033530
(0/1)		Thousands separator for large integers
terminus_store_prolog0.19.8793,527231
Use the Terminus-Store Rust library from Prolog
term_diff0.0.111614
telegrambot0.0.21
API for Telegram
tap1.0.3261,4651
Automated tests via Test Anything Protocol
tailwind_pl_generate2.2.0382
Tailwind-style CSS generator for Prolog - Generator
tailwind_pl2.0.29257
Tailwind-style CSS generator for Prolog
tabling_dra1.0.4572
SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
switex0.0.763428
Literate programming with LaTeX and Prolog
swipe0.2.6115527
Shell pipeline construction with type checking
swicli2.0.012848
SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
sweet0.1.137570
Sugar to make Prolog a little sweeter
svg0.112
Manipulating SVG xmls
sudoku_utils0.0.113741735
Testing to make an example package with utils for working with Sudoku
subsumes0.43143
Relational term subsumption. subsumes/2 is intended as a relational drop-in replacement for subsumes_term/2. Note that this conflicts with the deprecated predicate terms:subsumes/2.
subclause_expansion1.1.1185111
More detailed versions of term/goal expansion hooks
stompl0.11145
STOMP client
stoics_lib1.713903
A medley of library predicates for stoics packs
sql_compiler0.1.412928
Prolog to SQL compiler
spuds1.211372
Persistent, user code inclusive, documentation server for linux
spotify0.1.015
Use the Spotify API from Prolog.
spawn0.0.1175
Easy concurrency
sparqlprog_wikidata0.0.325244
SPARQLprog bindings for WikiData
sparqlprog0.2.9211,478318
Logic programming with SPARQL
space0.3.46403
Space package
sourcehut0.1.108
SourceHut GraphQL API client
sort_dict0.0.32116112
Sorts dicts by key
smtp1.1.063543
An (E)SMTP client for sending mail
smtlib0.0.652720
SMT-LIB parser for SWI-Prolog
small_adventure_games1.1.81
Small Adventure Games in Prolog using the CHAT80 Prolog natural language application
sldnfdraw1.619484218
SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX
slack_prolog2.0.33267
Prolog interface to Slack http://www.slack.com
sindice0.0.532821
Access to Sindice semantic web search engine
simple_web0.3.164325
Microframework for building websites
simple_template1.3.19439238
Logic-free text (HTML) templates
simple_bootstrap0.0.211614
Bootstrap Extension to Simple Web
si0.11
Port of the Scryer prolog si module
semantria0.0.433929
Use Semantria natural language API
scasp0.10.020761
Goal directed ASP solver
s_expression1.2.11193525
Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
rtrace0.0.71
Selective Interactive Non-Deterministic Tracing
rtp_qsndqs0.323937
Real-time persistent queues and deques.
rtg0.0.7113120
Regular Tree Grammer validator
rtchecks0.0.131501
Run-Time Checker for Assertions
rserve_client1.1.1168426
R Rserve client
ropes0.1.75158
Ropes data structure library
roman0.1.052
Roman numerals
rologpp0.41382041
Simple interface to R
rologp0.121801
Simple interface to R
rocksdb0.12.0111191
SWI-Prolog interface to RocksDB
resp_parse0.11
Redis protocol parser and writer
resp0.331916
Redis protocol parser and writer
resbound0.8.114039
Run goal with resource bounds
reif_utils1.0.015
A collection of reified predicates for use with reif.pl
reif1.0.0384
Reified if, reification library
regex0.3.3111,6661,271
Regular expressions
recaptcha0.9.227267
reCAPTCHA plugin for SWI-Prolog HTTP framework
real2.31458423
Integrative statistics with R
readability_parser0.0.433122
Readability Parser API
rdfs2pl0.0.535533
Compile an RDFS schema to prolog predicates
rdf_notification0.115
RDF notification
rdf_matcher0.1.532720
RDF matching utils
rdet1.0.2717728
Runtime determinacy checker
race0.1.07561
Client for the SOAP interface of the Attempto Reasoner RACE
r_session1.111615
Interface to an R process
quickcheck0.3.0171531
QuickCheck randomized testing
quantity0.113371
Parse quantities like "1.5 kg" and return some formatting information.
py_to_plantuml0.0.32107
Creates UML class diagrams from Python pylint's pyreverse generated .dot files.
purity0.1.331310
A Horn Clause Only library for Prolog
pubmed0.0.434433
Access pubmed publication records
pub_graph1.112018
Access, cache and visualise citation relations in publications servers
prosqlite1.818933187
(0/1)		An SWI-Prolog interface to SQLite
prologmud_samples2.0.338762
Online text adventure game - Sample
prologmud_I71.2.11112323
PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application
prologmud2.0.330662
Online text adventure game - MUD Server
prolog_verify_type0.13
A more declarative approach to verify the type of a prolog term
prolog_uriparser1.0.551910
Prolog binding for uriparser
prolog_starter_project1.0.421913
Prolog Starter Project
prolog_rdf1.0.752612
Prolog RDF Library
prolog_lsp0.0.10104611
Implementation of Language Server Protocol for Prolog
prolog_library_collection1.0.1612633269
Prolog Library Collection
prolog_imagemagick1.0.332517
Prolog binding for ImageMagick
prolog_graphviz1.0.53158121
Prolog-based graph visualization
prolog_geo1.0.763214
Geospatial support in Prolog
prolog2gpt0.1.07
Library of prolog predicates to access the GPT API
progress_bar0.0.51211
Progress-bar and spinner (text-based)
programk2.0.3196
AIML 2.0 - Because an AIML Interpreter/Chatbot needed to exist in Prolog to!
prism0.2.142723
Run PRISM as a child process
print_table0.0.52451
Formats and prints a table on the terminal screen
predicate_streams3.0.32313810
Implement your own Abstract Predicate Streams
pluuid2.0.017
Generating and parsing version 4 UUIDs in Pure Prolog
plumdrum0.0.632414
Parsing of Humdrum/Kern symbolic music file format
plstat1.012120
plstat - Statistics with Prolog
plsmf0.5.084026
Standard MIDI File reading
plrand0.9.13136847
Skippable pseudorandom generator and distributions
plplot0.0.134610
A library to plot data using gnuplot.
plosc0.4.665120
OSC input/output via liblo
plml2.0.3164117
Prolog-Matlab bridge
plmidi0.7.074118
Interface to Mac OS X MIDI system
plmake0.0.311712
Prolog makefile-like system
pljulia0.1.417701
Embedded Julia for SWI Prolog
plfann0.0.24643
SWI-Prolog for "Fast Artificial Neural Network Library"
plcomplex0.33263
Simple calculation of complex numbers
plcal0.0.55341
Programming Calendar
plcairo1.1.1411058
plcairo - Prolog bindings for cairo graphics library
plasticsearch0.122725
Elasticsearch client API
planner_api1.1.118491
planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh
plammar1.0.24162
Prolog parser and serialiser written in Prolog
pl_owl0.1.07
OWL utility predicates over rdf library
pl_omdb0.5.083818
API interface to OMDB (Open Movie Database)
pl_mustache1.0.02191
Mustache
pinyin0.1.552418
Parsing and generation of Hanyu Pinyin
phil_datasets1.07424
Dataset for machine learning with phil
phil1.0.0511461
Learning Hierarchical Probabilistic Logic Programs
pha0.1.222826
Probabilistic Horn Abduction
pfd_meta0.118
Probabilistic finite domains meta-interpreter
pfc3.0.3591611
Pfc -- a package for forward chaining in Prolog
persist0.3484
Persists facts into a file
pepl2.36342
Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm.
peg_syntax1.02123
PEG syntax for prolog
pddl_valoptic_api1.1.1181
pddl_valoptic_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use PDDL based planners.
pcache0.1.018
Persistent answer cache
pascal1.04241
Probabilistc inductive constraint logic
pager0.1.01131
Send output to user's preferred pager
pack_errors2.261005
Contextual error handling for packs.
pac4pl0.11121
An SWI-Prolog interface to libPAC
pac1.7.31091985
Anonymous predicates expansion utility
pPEG1.0.27211
Pack to support parsing text using pPEG grammars
os_lib1.5109324
Operating system interaction predicates.
orgref_fix0.1.07
Fix Org-ref citations.
options1.5101054
Options handling.
openapi0.241181
OpenAPI (Swagger) interface
open_dicts0.0.132
Open dicts for SWI Prolog
ontoweb0.0.4198
Show an ontology through a Web service.
ontodot0.1.121512
Create dot files from an RDF ontology.
onepointfour_basics0.91
Some basic predicates that may be useful. Includes a replacement of must_be/2 and a dict prettyprinter
odict0.2.652722
Unifier over feature structures based on attributed variables
odf_sheet0.2.459426
Load and analyze ODF spreadsheets (.ods)
obo_ro0.0.114
Vocab for OBO Relation Ontology
obo_metadata0.0.43223220
RDF vocabulary for OBO metadata ontologies
obo_core0.0.115
Vocab for upper parts of core OBOs such as GO
number_to_word0.4.253732
Integer to English word conversions
notes8000.1.01111
Query phone number data from 800notes.com
no_repeats1.1.11872213
New ways to avoid duplicate solutions
narsese2.0.3142
Narsese: Like OpenNARS in Prolog
nanp0.1.011110
phone numbers in the North American Numbering Plan
nan_system_sources1.2.015
Nan.System.Sources - Answer Sources in Prolog
nan_numerics_prime1.2.546762
Nan.Numerics.Prime - A simple prime number library
nan_common1.223329
Common operations (validation, etc.)
mutable_variables1.0.026
Mutable Variables
must_trace1.1.11826451
Trace with your eyeballs instead of your fingers
musicxml0.0.212826
MusicXML partial reader
musicbrainz0.7.0215327
Musicbrainz client library
multimodal_dcg2.0.383610
Reduce floundering of DCGs by constraining and narrowing search
mtx0.654910
Working with data matrices
msgpackc0.2.144232
C-Based MessagePack for SWI-Prolog
msgpack0.1.643226
DCG for packing & unpacking of MessagePack data to/from bytes
mqtt1.0.527270
mqtt - pub/sub pack for SWI-Prolog using mosquitto
mpi1.05341
Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
morfeusz0.1.47162
Morfeusz2 bindings for SWI-Prolog.
mlu0.53733
Machine learning utilities
miser0.0.128
Build self-optimizing predicates
mime0.5.01231
MIME processing library based on maildrop
midiutils0.0.38
midiutils
memo0.6.1178938
Persistent memoisation of deterministic predicates
maybe0.1.137370
The maybe type represents an optional value
mavis0.2.3131,0662
Optional type declarations
matrix_utls1.112118
Matrix utilities: Kronecker (Tensor), Hadamard, and matrices creation/multiplications
matrix2.0726443
Operations with matrices
mathml0.217291
Translates mathematical expressions to compounds that can be used by html//1 (SWISH) or html//3 (normal SWIPL, with pack http/html_write).
markdown0.0.32266133
Markdown parser for SWI-Prolog
mail_standards0.1.03
Mail IMF and Maildir implementations.
mail_merge1.0.01191
Library for performing mail merge
lsp_server2.2.828914719
A Prolog LSP Server
lps_corner2.0.33177
LPS Corner with SWISH and Dialect
loop_check1.1.1189122
New simple loop checking
logtalk3.66.0948711
Logtalk - Object-Oriented Logic Programming Language
logicmoo_workspace2.0.3231
LogicMOO Workspace -- The pack that installs the Logicmoo IDE and WebUI
logicmoo_webui2.0.39251
LogicMOO - The pack that installs the WebUI
logicmoo_utils3.0.345962
Common predicates that are used throughout LogicMOO Software
logicmoo_planners1.1.118284
Various Hybrid HTN Planners speaking PDDLish and OCLh
logicmoo_nlu2.0.326871
Various English to Logic Converters - warning: HUGE amount of lexical and test data
logicmoo_nars2.0.31113
Narsese: Like OpenNARS in Prolog
logicmoo_ec2.0.3581
Logicmoo Event Calc -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking: LPS, Decreasoner EventCalc, PDDLish and OCLh
logicmoo_cg2.0.36215
Conceptual Graph (CG) Libraries in Prolog and test data
logicmoo_base2.0.348873
LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
log4p0.0.9416511
Logging for Prolog
list_util0.13.0193,1841
Predicates for working with lists
link_grammar_prolog4.1.0.324945
A binding to use the Link Grammar library from SWI-Prolog
liftcover0.17221
A Probabilistic Indutive Logic Programming system
libssh0.9.23566
Provide an embedded SSH server
lib_atts1.1.1183201
Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html
lib2.1018361
Predicate based code development
ldap4pl0.113837
LDAP interface
lcs0.0.144
Longest common subsequence
lbfgs2.0167019
An interface to call libLBFGS from within SWI-Prolog
lazy_streams0.5.017
Lazy Stream Generators
languages_bot0.0.111410
A chatbot that talks with the user to recommend some programming language
lambda_abstractions0.2.115352
Lambda abstractions
kubepl0.111613
Kubernetes Client
k8s_client1.1.04174
kubernetes API client with watcher functionality
jwt_io0.0.344522
JWT implementation
julian_lang_en0.0.215049
Parse English language phrases into library(julian) constraints
julian0.1.3768614
Date and time library
json_answer0.33114
Convenience module to convert a prolog query into a JSON answer
jolog0.0.314838
Concurrency via join calculus
irc_client1.3.096340
Low level interface to IRC clients
interpolate0.1.02931
String interpolation
instant_prolog_docs2.0.3114371
Magically document prolog source files based on predicate and variable naming conventions
inotify0.9.117271
Access Linux inotify API to watch file system changes
indexed_terms1.0.019
Positional access to terms' arguments
index_util0.0.21255248
Prolog index utils
imodule0.0.11
Support for modules from the server.
identity0.2.221
Registration, login, and role management
ical0.1.09
iCalendar DCGs and parsers
httplog0.5.01243
Analyse SWI-Prolog HTTP server log files
http2_client1.0.065142
An HTTP/2 client
hook_hybrid1.1.11812153
Hook assert retract call of *specific* predicates
hilog1.1.11811514
XSB-Prolog's Hilog Syntax in SWI-Prolog
hello_world0.117
Hello World pack as a test
hdt0.566725
Access RDF HDT files
hashtbl0.0.214847
Pure and impure hash tables
gvar_syntax2.0.31812468
Global Variable Syntax
graphql-swipl0.0.11
GraphQL Prolog Library
graphql0.0.137
GraphQL Prolog Library
graphpl0.1.16402
Graph data structure utilities
gpc1.2.038432
Generic polygon clipper
googleclient0.5.233211
SWI-Prolog code for "Login with Google"
geoip0.9.01323
Access GeoIP library
genutils0.3.82310453
General miscellaneous utilities
gbn0.211312
BNs for large cohort genomic studies.
format_spec0.0.214544
Parse and check format/2 specifications
fnotation1.0.058915
Function notation for Prolog
flux1.1.11839
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.
fluents0.1.212716
Access all solutions of a goal without backtracking
fld1.0.25526
Object system that allows easy and efficient access to term arguments by name.
fine_upload0.2.05299
HTTP support for file uploading
fileutils0.3.5108527
Utilities for reading, writing and finding files
files_extras0.1.02352
Few extra predicates for traversing folders and simplifying work with file system
file_utilities0.134
File system related utilities
file_scope1.1.1185191
File local scoped efects
ffimatrix0.1.010811
Operations with matrices using Prolog and C
ffi0.5713650
Dynamically call C functions
fcgi0.9.034
fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog
execution_context0.2.044817
Allows to retrieve setting from execution environment, given flexibility over setting/2, get_env, or command line configuration
excel_worksheets0.3.0561
Excel reader of worksheets cell values into prolog terms
environ1.0171
Demo package with C code, fetching the program environment
eggdrop2.0.321411
Hook up to an existing IRC Client called an Eggdrop
each_call_cleanup1.1.11810261
Each Call Redo Setup and Cleanup
dynworks1.3.2610323
Dynamic multi-dimensional arrays and vectors
dpath0.7.36462
Directory traversal module
dotcloud0.0.213125
Conveniences for running on dotCloud
dot_dcg0.1.04271
A DCG for a subset of the DOT language
docstore2.0.2619233
Document-oriented database for Prolog
djson0.0.32144138
Declarative JSON
disp_bn0.111
Construct and display BN terms via graphviz
dirtree1.0.133921
Load XML of directory content.
dictype0.0.221
Concise dict type definitions
dictoo3.0.3281552
Dict-like OO Syntax
dict_schema0.0.21121118
Dict converter and validator
dialect-ciao0.0.11
Ciao Prolog compatibility library
diagnostics0.2.037559
SWI-Prolog source code diagnostics library
dia0.145
An interface to .dia-uml-diagrams
delay0.3.378456
Avoid instantiation errors for built-in predicates
debug_call1.57664
Debugging with calls
debug_adapter0.7.22811836
Debug Adapter Protocol package for SWI-Prolog
dcgutils1.1.311518419
DCG related utilities
dcg_extras0.15
Dcg extras
dcg4pt1.0.047046
DCG for Parse Trees
db_facts0.55269155
Common db-tables-as-facts and SQL layer for ODBC and proSQLite.
ct_fft0.01
Cooley–Tukey FFT algorithm
css_write1.3.255216
DCG for generating CSS
cplint_r1.0.0149755
R plotting predicates for cplint
cplint_datasets1.078
Dataset for machine learning with cplint
cplint4.5.02109092
A suite of programs for reasoning with probabilistic logic programs
coworkers0.1.018
Workflow definition as tree of coroutines
cosmos0.3612264
<no title>
consul_client0.0.421916
Consul Client
condition0.1.136755
Condition system a la Common Lisp
clpcd0.0.11186
Constraints over continuous domains
clpBNR0.11.1241672
CLP over Reals using Interval Arithmetic - includes Rational, Integer and Boolean domains as subsets.
clitable1.0.875324
Pretty unicode tables for the CLI with Prolog
cli_table1.0.1034
Pretty unicode tables for the CLI with Prolog
clause_attvars1.1.1187211
An alternate interface to the clause database to allow attributed variables to be asserted
ciao0.0.112313
Ciao Prolog compatibility library
chess_db1.035321
PGN and chess game databases.
chat801.116342
Classic CHAT80 Prolog natural language application
chan0.2.033
Directional channels for thread communication
ccprism0.1.0206236
Probabilistic programming using delimited continuations
cclab0.1.5133821
Continuations lab
canny_tudor0.23.22510514
Canny bag o' Tudor
call_cleaup_each0.0.11
Call A Goal On Each Redo
by_unix0.228623
An elegance layer to calling unix commands.
bousi_pack1.0.03271
On my way to a SWISH enabled BPL - a FLI exercise
body_reordering2.0.363418
Clause expansion Utils for deciding which order to run Goals in a body
blog_core1.6.3241222
Blog/CMS framework
biomake0.1.511437
Prolog makefile-like system
bio_db_repo23.6.520631
Data package for bio_db.
bio_db4.2271011
Access, use and manage big, biological datasets.
bio_analytics0.65321
Computational biology data analytics.
bims3.08901
Bayesian inference of model structure.
bibtex0.1.833222
Parser and predicates for BibTeX files
bencode0.0.156
Bencoding from BitTorrent protocol
bddem4.3.1232012
A library for manipulating Binary Decision Diagrams
b_real0.98553
Interface predicates to commonly used R functions.
automake0.2.514526
Automake
auc1.0101742
Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves
atom_feed0.2.0410187
Parse Atom and RSS feeds
assertions0.0.141741
Ciao Assertions Reader for SWI-Prolog
arouter2.0.0522747
Alternative HTTP path router
arithmetic_types0.0.43277
Support for user defined types in arithmetic expressions
app0.112
Prolog Application Server
ape6.7.18071551
Parser for Attempto Controlled English (ACE)
aop0.0.88736
Opinonated aspect-oriented programming for prolog
anti_unify0.54124
Anti-unification. anti_unify/3 is intended as a relational drop-in replacement for term_subsumer/3.
ansi_termx0.0.128
ANSI terminal operations
amazon_api0.0.328376
Interface to Amazon APIs
aleph5204781
Aleph Inductive Logic Programming system
achelois0.5.077,492189
Collection of tools to make writing scripts in Prolog easier.
abbreviated_dates0.0.3922352,20235
Parses abbreviated and ambiguous dates in multiple languages