Installed extension packs

The following extension packages are installed in the this Prolog system. Other packages can be found at the SWI-Prolog website

aleph5Aleph Inductive Logic Programming system
assertions0.0.1Assertion Reader for SWI-Prolog
auc1.0Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves
bddem4.3.1A library for manipulating Binary Decision Diagrams
body_reordering2.0.3Clause expansion Utils for deciding which order to run Goals in a body
chat801.0Classic CHAT80 Prolog natural language application
cplint4.5.0A suite of programs for reasoning with probabilistic logic programs
cplint_r1.0.0R plotting predicates for cplint
dictoo2.0.3Dict-like OO Syntax
eggdrop2.0.3Hook up to an existing IRC Client called an Eggdrop
gvar_syntax2.0.3Global Variable Syntax
hdt0.5Access RDF HDT files
instant_prolog_docs2.0.31Magically document prolog source files based on predicate and variable naming conventions
lambda1.0.0Lambda expressions
libssh0.9.1Provide an embedded SSH server
logicmoo_base2.0.3LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
logicmoo_cg2.0.3Conceptual Graph (CG) Libraries in Prolog and test data
logicmoo_ec2.0.3Logicmoo Event Calc -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking: LPS, Decreasoner EventCalc, PDDLish and OCLh
logicmoo_nars2.0.3Narsese: Like OpenNARS in Prolog
logicmoo_nlu2.0.3Various English to Logic Converters - warning: HUGE amount of lexical and test data
logicmoo_utils2.0.3Common predicates that are used throughout LogicMOO Software
logicmoo_webui2.0.3LogicMOO WebUI -- The pack that installs the Logicmoo IDE and WebUI (Based on a Franken-SWISH
lps_corner2.0.3LPS Corner with SWISH and Dialect
matrix1.0Operations with matrices
mpi1.0Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
multimodal_dcg2.0.3Reduce floundering of DCGs by constraining and narrowing search
pcache0.1.0Persistent answer cache
pfc2.0.3Pfc -- a package for forward chaining in Prolog
phil1.0.0Learning Hierarchical Probabilistic Logic Programs
predicate_streams2.0.3Implement your own Abstract Predicate Streams
profile0.1.0Manage user profiles
prologmud2.0.3Online text adventure game - MUD Server
prologmud_samples2.0.3Online text adventure game - Sample
rocksdb0.8.0SWI-Prolog interface to RocksDB
rserve_client1.2.0R Rserve client
rtchecks0.0.1Run-Time Checker for Assertions
slack_prolog2.0.3Prolog interface to Slack
sldnfdraw1.61SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX
smtp1.0.0An (E)SMTP client for sending mail
swicli2.0.0SWI-Prolog interface to C/C++/.NET/Mono/Objective-C
trill6.0.2A tableau probabilistic reasoner in three different versions
wam_common_lisp2.0.3ANSI Common Lisp implemented in Prolog
wordnet0.9.3Access to WordNet database
xlibrary0.0.2Extended Libraries for Prolog
xtools0.0.2Extended Tools for SWI-Prolog