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: 330
| Version
(#older)
| Downloads
tot: 30,166
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
achelois | 0.5.07 | 6,098104 | Collection of tools to make writing scripts in Prolog easier. | |
list_util | 0.13.018 | 1,9281,169 | Predicates for working with lists | |
regex | 0.3.311 | 1,078683 | Regular expressions | |
mavis | 0.2.313 | 1,0182 | Optional type declarations | |
terminus_store_prolog | 0.16.466 | 7331 | Use the Terminus-Store Rust library from Prolog | |
cplint | 4.5.0192 | 7092 | A suite of programs for reasoning with probabilistic logic programs | |
logtalk | 3.44.072 | 69315 | Logtalk - Object-Oriented Logic Programming Language | |
prosqlite | 1.616 | 62472 | An SWI-Prolog interface to SQLite | |
lambda | 1.0.0 | 550 | Lambda expressions | |
real | 2.112 | 50889 | Integrative statistics with R | |
julian | 0.1.37 | 50614 | Date and time library | |
dcgutils | 1.1.311 | 330231 | DCG related utilities | |
simple_template | 1.3.19 | 329136 | Logic-free text (HTML) templates | |
sparqlprog | 0.2.919 | 32651 | Logic programming with SPARQL | |
func | 0.4.29 | 30415 | Function application and composition | |
aleph | 520 | 2901 | Aleph Inductive Logic Programming system | |
sldnfdraw | 1.619 | 28721 | SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX | |
tap | 1.0.120 | 2832 | Automated tests via Test Anything Protocol | |
smtp | 1.0.05 | 28286 | An (E)SMTP client for sending mail | |
callgraph | 0.4.117 | 276142 | Predicate call graph visualisation | |
prolog_library_collection | 1.0.96 | 27499 | Prolog Library Collection | |
trill | 6.0.2114 | 26421 | A tableau probabilistic reasoner in three different versions | |
typedef | 0.1.910 | 227115 | Support for type definitions | |
matrix | 1.9.16 | 1912 | Operations with matrices using prolog and c | |
markdown | 0.0.32 | 19067 | Markdown parser for SWI-Prolog | |
db_facts | 0.55 | 18874 | Common db-tables-as-facts and SQL layer for ODBC and proSQLite. | |
plgi | 1.1.011 | 18747 | PLGI - Prolog bindings for GLib/GObject/GIO/GTK+ | |
arouter | 2.0.05 | 1833 | Alternative HTTP path router | |
yaml | 0.14 | 1792 | YAML parser | |
edcg | 0.9.1.36 | 17812 | Extended DCG | |
gvterm | 1.11 | 170139 | Show Prolog terms using graphviz | |
rdet | 1.0.27 | 16213 | Runtime determinacy checker | |
docstore | 2.0.26 | 1623 | Document-oriented database for Prolog | |
pac | 1.5.793 | 1566 | Anonymous predicates expansion utility | |
quickcheck | 0.3.017 | 1451 | QuickCheck randomized testing | |
lsp_server | 2.2.626 | 14471 | A Prolog LSP Server | |
tokenize | 1.0.14 | 13575 | A simple tokenization library | |
auc | 1.010 | 1262 | Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves | |
rserve_client | 1.2.016 | 12365 | R Rserve client | |
spawn | 0.0.1 | 122 | Easy concurrency | |
djson | 0.0.32 | 121115 | Declarative JSON | |
graphml | 0.1.0 | 114 | Write GraphML files | |
bddem | 4.3.119 | 1142 | A library for manipulating Binary Decision Diagrams | |
pfc | 2.0.349 | 10913 | Pfc -- a package for forward chaining in Prolog | |
dcg_util | 0.3.13 | 10922 | DCG utility predicates | |
plOpenGL | 0.6.25 | 10894 | OpenGL Bindings | |
dictoo | 2.0.320 | 10642 | Dict-like OO Syntax | |
predicate_streams | 2.0.320 | 10260 | Implement your own Abstract Predicate Streams | |
sort_dict | 0.0.32 | 10197 | Sorts dicts by key | |
dict_schema | 0.0.21 | 9996 | Dict converter and validator | |
blog_core | 1.5.323 | 983 | Blog/CMS framework | |
phil | 1.0.044 | 971 | Learning Hierarchical Probabilistic Logic Programs | |
function_expansion | 0.1.24 | 963 | Help for writing function-like macros | |
index_util | 0.0.21 | 9588 | Prolog index utils | |
gvar_syntax | 2.0.318 | 9539 | Global Variable Syntax | |
plcairo | 1.1.14 | 9139 | plcairo - Prolog bindings for cairo graphics library | |
openapi | 0.22 | 881 | OpenAPI (Swagger) interface | |
webconsole | 0.9.11 | 8786 | Use a browser as HTML console | |
date_time | 0.1.33 | 8727 | Logical arithmetic on dates and times | |
xsd | 0.2.18 | 853 | XML Schema validation with Prolog | |
delay | 0.3.37 | 8456 | Avoid instantiation errors for built-in predicates | |
atom_feed | 0.2.04 | 8268 | Parse Atom and RSS feeds | |
options | 1.49 | 811 | Options handling. | |
odf_sheet | 0.2.45 | 7810 | Load and analyze ODF spreadsheets (.ods) | |
memo | 0.6.117 | 7726 | Persistent memoisation of deterministic predicates | |
logicmoo_nlu | 2.0.325 | 771 | Various English to Logic Converters - warning: HUGE amount of lexical and test data | |
logicmoo_base | 2.0.347 | 763 | LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints | |
wam_common_lisp | 2.0.339 | 753 | ANSI Common Lisp implemented in Prolog | |
sparkle | 0.0.98 | 7565 | Prolog-friendly interface to SPARQL endpoints | |
pack_errors | 2.15 | 7529 | Contextual error handling for packs. | |
hello | 0.0.1 | 75 | Hello World | |
fileutils | 0.3.510 | 7517 | Utilities for reading, writing and finding files | |
logicmoo_utils | 2.0.336 | 743 | Common predicates that are used throughout LogicMOO Software | |
os_lib | 1.510 | 734 | Operating system interaction predicates. | |
dynworks | 1.23 | 732 | Dynamic multi-dimensional arrays and vectors | |
type_check | 1.0.11 | 7268 | Type System for Prolog based on Hindley-Milner | |
ffi | 0.13 | 722 | Dynamically call C functions | |
xtools | 0.0.249 | 712 | Extended tools for Prolog | |
genutils | 0.3.823 | 7120 | General miscellaneous utilities | |
refactor | 0.0.347 | 701 | Refactoring Tools for SWI-Prolog | |
bio_db | 3.220 | 706 | Access, use and manage big, biological datasets. | |
wordnet | 0.9.34 | 6813 | Access to WordNet database | |
swicli | 2.0.011 | 683 | SWI-Prolog interface to C/C++/.NET/Mono/Objective-C | |
obo_metadata | 0.0.43 | 6764 | RDF vocabulary for OBO metadata ontologies | |
stoics_lib | 1.410 | 665 | A medley of library predicates for stoics packs | |
recaptcha | 0.9.22 | 6560 | reCAPTCHA plugin for SWI-Prolog HTTP framework | |
fnotation | 1.0.05 | 655 | Function notation for Prolog | |
by_unix | 0.22 | 652 | An elegance layer to calling unix commands. | |
prologmud_samples | 2.0.336 | 631 | Online text adventure game - Sample | |
cplint_r | 1.0.014 | 6321 | R plotting predicates for cplint | |
wsdl | 0.1 | 62 | Web Service Description Language (WSDL) and SOAP | |
maybe | 0.1.13 | 6158 | The maybe type represents an optional value | |
interpolate | 0.1.02 | 611 | String interpolation | |
amazon_api | 0.0.32 | 6053 | Interface to Amazon APIs | |
wgraph | 0.65 | 5920 | Weighted graphs, with plotting via Real | |
transpiler | 0.117 | 583 | A universal translator for programming languages | |
sweet | 0.1.13 | 5853 | Sugar to make Prolog a little sweeter | |
mlu | 0.21 | 5851 | Machine learning utilities | |
ffimatrix | 0.1.010 | 581 | Operations with matrices using Prolog and C | |
rocksdb | 0.8.05 | 5618 | SWI-Prolog interface to RocksDB | |
bims | 2.35 | 5620 | Bayesian inference of model structure. | |
cplint_datasets | 1.0 | 54 | Dataset for machine learning with cplint | |
hdt | 0.56 | 5325 | Access RDF HDT files | |
swipe | 0.2.611 | 5224 | Shell pipeline construction with type checking | |
pljulia | 0.1.417 | 521 | Embedded Julia for SWI Prolog | |
irc_client | 1.3.09 | 5229 | Low level interface to IRC clients | |
reif | 1.0.0 | 50 | Reified if, reification library | |
condition | 0.1.13 | 5038 | Condition system a la Common Lisp | |
clpBNR | 0.9.58 | 502 | CLP over Reals using Interval Arithmetic - includes Rational, Integer and Boolean domains as subsets. | |
xlibrary | 0.0.231 | 481 | Extended Libraries for Prolog | |
rdfs2pl | 0.0.53 | 4725 | Compile an RDFS schema to prolog predicates | |
uuid | 1.1.02 | 4543 | Generating and parsing version 4 UUIDs | |
prologmud | 2.0.328 | 452 | Online text adventure game - MUD Server | |
nan_numerics_prime | 1.2.54 | 4540 | Nan.Numerics.Prime - A simple prime number library | |
lbfgs | 1.015 | 451 | An interface to call libLBFGS from within SWI-Prolog | |
debug_call | 1.46 | 455 | Debugging with calls | |
assertions | 0.0.130 | 451 | Ciao Assertions Reader for SWI-Prolog | |
tor | 1.0.44 | 4423 | Tor: Extensible Search with Hookable Disjunction | |
musicbrainz | 0.7.021 | 4418 | Musicbrainz client library | |
environ | 1.0 | 44 | Demo package with C code, fetching the program environment | |
ccprism | 0.1.020 | 4418 | Probabilistic programming using delimited continuations | |
weblog | 0.0.56 | 4312 | weblog | |
turing | 1.0.22 | 4338 | Turing Machine Simulator | |
bio_db_repo | 20.9.1415 | 433 | Data package for bio_db. | |
plosc | 0.4.66 | 4211 | OSC input/output via liblo | |
bencode | 0.0.1 | 41 | Bencoding from BitTorrent protocol | |
mqtt | 1.0.52 | 4038 | mqtt - pub/sub pack for SWI-Prolog using mosquitto | |
must_trace | 1.1.11826 | 391 | Trace with your eyeballs instead of your fingers | |
simple_web | 0.3.16 | 3820 | Microframework for building websites | |
fld | 0.1.03 | 382 | Easy assess to term args when loading from ODBC or CSV. | |
rtchecks | 0.0.123 | 371 | Run-Time Checker for Assertions | |
julian_lang_en | 0.0.21 | 3736 | Parse English language phrases into library(julian) constraints | |
plchatscript | 1.0.94 | 3630 | Interface to the ChatScript server. | |
mtx | 0.54 | 367 | Working with data matrices | |
jolog | 0.0.31 | 3626 | Concurrency via join calculus | |
semantria | 0.0.43 | 3525 | Use Semantria natural language API | |
link_grammar_prolog | 4.1.0.32 | 3531 | A binding to use the Link Grammar library from SWI-Prolog | |
jwt_io | 0.0.34 | 3512 | JWT implementation | |
http2_client | 1.0.06 | 3526 | An HTTP/2 client | |
uri_qq | 0.3.03 | 3423 | URI quasiquotations | |
roman | 0.1.0 | 34 | Roman numerals | |
pubmed | 0.0.43 | 3423 | Access pubmed publication records | |
plml | 2.0.316 | 3410 | Prolog-Matlab bridge | |
hashtbl | 0.0.21 | 3433 | Pure and impure hash tables | |
clitable | 1.0.87 | 345 | Pretty unicode tables for the CLI with Prolog | |
prolog_graphviz | 1.0.42 | 337 | Prolog-based graph visualization | |
plmidi | 0.7.07 | 3310 | Interface to Mac OS X MIDI system | |
lib | 2.917 | 331 | Predicate based code development | |
css_write | 1.2.03 | 335 | DCG for generating CSS | |
b_real | 0.65 | 332 | Interface predicates to commonly used R functions. | |
spuds | 1.110 | 322 | Persistent, user code inclusive, documentation server for linux | |
rtp_qsndqs | 0.32 | 3230 | Real-time persistent queues and deques. | |
resbound | 0.8.11 | 3231 | Run goal with resource bounds | |
plsmf | 0.5.08 | 3218 | Standard MIDI File reading | |
lcs | 0.0.1 | 32 | Longest common subsequence | |
gpc | 1.2.03 | 329 | Generic polygon clipper | |
eggdrop | 2.0.319 | 324 | Hook up to an existing IRC Client called an Eggdrop | |
dia | 0.1 | 32 | An interface to .dia-uml-diagrams | |
googleclient | 0.5.23 | 3111 | SWI-Prolog code for "Login with Google" | |
pl_omdb | 0.5.08 | 3010 | API interface to OMDB (Open Movie Database) | |
format_spec | 0.0.21 | 3029 | Parse and check format/2 specifications | |
thousands | 0.2.03 | 2924 | Thousands separator for large integers | |
sparqlprog_wikidata | 0.0.32 | 2921 | SPARQLprog bindings for WikiData | |
plrand | 0.9.1313 | 298 | Skippable pseudorandom generator and distributions | |
instant_prolog_docs | 2.0.312 | 291 | Magically document prolog source files based on predicate and variable naming conventions | |
inotify | 0.9.11 | 2928 | Access Linux inotify API to watch file system changes | |
dcg4pt | 1.0.04 | 295 | DCG for Parse Trees | |
biomake | 0.1.59 | 297 | Prolog makefile-like system | |
switex | 0.0.76 | 2822 | Literate programming with LaTeX and Prolog | |
sql_compiler | 0.1.4 | 28 | Prolog to SQL compiler | |
multimodal_dcg | 2.0.38 | 271 | Reduce floundering of DCGs by constraining and narrowing search | |
dot_dcg | 0.1.04 | 271 | A DCG for a subset of the DOT language | |
dirtree | 1.0.13 | 279 | Load XML of directory content. | |
cclab | 0.1.513 | 2710 | Continuations lab | |
plfann | 0.0.24 | 263 | SWI-Prolog for "Fast Artificial Neural Network Library" | |
mutable_variables | 1.0.0 | 26 | Mutable Variables | |
xlisting | 1.2.11115 | 252 | Selective Interactive Non-Deterministic Tracing | |
web | 0.1.11 | 2522 | Easy web client | |
readability_parser | 0.0.43 | 2516 | Readability Parser API | |
plcal | 0.0.55 | 251 | Programming Calendar | |
number_to_word | 0.4.25 | 2520 | Integer to English word conversions | |
nan_common | 1.22 | 2521 | Common operations (validation, etc.) | |
with_state | 0.0.56 | 2416 | Stateful computations with records | |
s_expression | 1.2.1119 | 2414 | Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF | |
phil_datasets | 1.07 | 244 | Dataset for machine learning with phil | |
pepl | 2.14 | 2411 | Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm. | |
ldap4pl | 0.11 | 2423 | LDAP interface | |
graphpl | 0.1.16 | 242 | Graph data structure utilities | |
chat80 | 1.11 | 243 | Classic CHAT80 Prolog natural language application | |
rtg | 0.0.711 | 2312 | Regular Tree Grammer validator | |
prologmud_I7 | 1.2.11112 | 233 | PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
mathml | 0.216 | 231 | Translates mathematical expressions to compounds that can be used by html//1 (SWISH) or html//3 (normal SWIPL, with pack http/html_write). | |
dpath | 0.5.114 | 2312 | Directory traversal module | |
chess_db | 0.32 | 2319 | PGN and chess game databases. | |
unionfind | 1.0.0 | 22 | Optimal implementation of the union-find algorithm in CHR | |
sindice | 0.0.53 | 2215 | Access to Sindice semantic web search engine | |
open_dicts | 0.0.1 | 22 | Open dicts for SWI Prolog | |
mpi | 1.05 | 221 | Porting of the LAMMPI library of Yap Prolog to SWI-Prolog | |
geoip | 0.9.01 | 223 | Access GeoIP library | |
file_utilities | 0.1 | 22 | File system related utilities | |
dotcloud | 0.0.21 | 2216 | Conveniences for running on dotCloud | |
space | 0.31 | 2111 | Space package | |
rdf_matcher | 0.1.53 | 2114 | RDF matching utils | |
log4p | 0.0.2 | 21 | Logging for Prolog | |
fcgi | 0.9.0 | 21 | fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog | |
unified_diff | 0.0.1 | 20 | Parse and generate unified diffs | |
timeutils | 0.0.4 | 20 | Tools for temporally aware programming | |
plplot | 0.0.12 | 209 | A library to plot data using gnuplot. | |
odict | 0.2.65 | 2015 | Unifier over feature structures based on attributed variables | |
libssh | 0.9.12 | 2017 | Provide an embedded SSH server | |
body_reordering | 2.0.36 | 204 | Clause expansion Utils for deciding which order to run Goals in a body | |
msgpack | 0.1.64 | 1913 | DCG for packing & unpacking of MessagePack data to/from bytes | |
miser | 0.0.1 | 19 | Build self-optimizing predicates | |
upsh | 2.54 | 187 | Unix to Prolog shell. | |
0.10 | 18 | A pack to access the twitter api | ||
slack_prolog | 1.1.1182 | 1815 | Prolog interface to Slack http://www.slack.com | |
prolog_geo | 1.0.65 | 183 | Geospatial support in Prolog | |
plumdrum | 0.0.63 | 188 | Parsing of Humdrum/Kern symbolic music file format | |
graphql | 0.0.1 | 18 | GraphQL Prolog Library | |
canny_tudor | 0.7.010 | 183 | Canny bag o' Tudor | |
bibtex | 0.1.83 | 188 | Parser and predicates for BibTeX files | |
with | 0.0.4 | 17 | Context managers for SWI Prolog | |
plmake | 0.0.31 | 1712 | Prolog makefile-like system | |
plasticsearch | 0.12 | 1715 | Elasticsearch client API | |
pinyin | 0.1.55 | 1711 | Parsing and generation of Hanyu Pinyin | |
pha | 0.1.22 | 1715 | Probabilistic Horn Abduction | |
race | 0.1.07 | 161 | Client for the SOAP interface of the Attempto Reasoner RACE | |
r_session | 1.11 | 1615 | Interface to an R process | |
musicxml | 0.0.21 | 1614 | MusicXML partial reader | |
each_call_cleanup | 1.1.11810 | 161 | Each Call Redo Setup and Cleanup | |
chan | 0.2.0 | 16 | Directional channels for thread communication | |
bousi_pack | 1.0.03 | 161 | On my way to a SWISH enabled BPL - a FLI exercise | |
smtlib | 0.0.65 | 158 | SMT-LIB parser for SWI-Prolog | |
prism | 0.2.14 | 1511 | Run PRISM as a child process | |
lambda_abstractions | 0.2.11 | 1514 | Lambda abstractions | |
httplog | 0.5.01 | 153 | Analyse SWI-Prolog HTTP server log files | |
fluents | 0.1.21 | 154 | Access all solutions of a goal without backtracking | |
with_open_options | 1.2.116 | 147 | Utilities to open various objects for read/write | |
union_find | 1.0.0 | 14 | A union-find algorithm implementation for SWI-Prolog | |
quantity | 0.110 | 141 | Parse quantities like "1.5 kg" and return some formatting information. | |
hook_hybrid | 1.1.11812 | 142 | Hook assert retract call of *specific* predicates | |
flux | 1.1.118 | 14 | 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. | |
bio_analytics | 0.43 | 142 | Computational biology data analytics. | |
simple_bootstrap | 0.0.21 | 1311 | Bootstrap Extension to Simple Web | |
no_repeats | 1.1.1187 | 134 | New ways to avoid duplicate solutions | |
fine_upload | 0.1.54 | 138 | HTTP support for file uploading | |
vcard | 0.0.1 | 12 | vCard Parser and Predicates | |
loop_check | 1.1.1189 | 122 | New simple loop checking | |
consul_client | 0.0.42 | 129 | Consul Client | |
app | 0.1 | 12 | Prolog Application Server | |
xlisting_web | 1.1.1186 | 115 | Manipulate and browse prolog runtime over www | |
resp | 0.33 | 118 | Redis protocol parser and writer | |
mime | 0.5.0 | 11 | MIME processing library based on maildrop | |
mail_merge | 1.0.01 | 111 | Library for performing mail merge | |
logicmoo_cg | 2.0.34 | 116 | Conceptual Graph (CG) Libraries in Prolog and test data | |
file_scope | 1.1.1185 | 111 | File local scoped efects | |
clause_attvars | 1.1.1187 | 111 | An alternate interface to the clause database to allow attributed variables to be asserted | |
ciao | 0.0.1 | 11 | Ciao Prolog compatibility library | |
ansi_termx | 0.0.1 | 11 | ANSI terminal operations | |
tidylog | 0.0.1 | 10 | ||
term_diff | 0.0.11 | 108 | ||
subclause_expansion | 1.1.1185 | 101 | More detailed versions of term/goal expansion hooks | |
pub_graph | 1.11 | 108 | Access, cache and visualise citation relations in publications servers | |
prolog_uriparser | 1.0.55 | 101 | Prolog binding for uriparser | |
prolog_imagemagick | 1.0.33 | 102 | Prolog binding for ImageMagick | |
plcomplex | 0.22 | 101 | Simple calculation of complex numbers | |
pfd_meta | 0.1 | 10 | Probabilistic finite domains meta-interpreter | |
logicmoo_webui | 2.0.36 | 101 | LogicMOO - The pack that installs the WebUI | |
lazy_streams | 0.5.0 | 10 | Lazy Stream Generators | |
with_thread_local | 1.2.1114 | 95 | Call a Goal with local assertions | |
stompl | 0.1 | 9 | STOMP client | |
prolog_rdf | 1.0.31 | 91 | Prolog RDF Library | |
planner_api | 1.1.1184 | 91 | planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh | |
ontodot | 0.1.12 | 96 | Create dot files from an RDF ontology. | |
lps_corner | 2.0.32 | 95 | LPS Corner with SWISH and Dialect | |
lib_atts | 1.1.1183 | 91 | Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html | |
indexed_terms | 1.0.0 | 9 | Positional access to terms' arguments | |
ical | 0.1.0 | 9 | iCalendar DCGs and parsers | |
dictype | 0.0.2 | 9 | Concise dict type definitions | |
rdf_notification | 0.1 | 8 | RDF notification | |
prolog_starter_project | 1.0.42 | 82 | Prolog Starter Project | |
pluuid | 2.0.0 | 8 | Generating and parsing version 4 UUIDs in Pure Prolog | |
pcache | 0.1.0 | 8 | Persistent answer cache | |
midiutils | 0.0.3 | 8 | midiutils | |
logicmoo_planners | 1.1.1182 | 84 | Various Hybrid HTN Planners speaking PDDLish and OCLh | |
logicmoo_ec | 2.0.35 | 81 | Logicmoo Event Calc -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking: LPS, Decreasoner EventCalc, PDDLish and OCLh | |
tabling_dra | 1.0.45 | 72 | SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009) | |
spotify | 0.1.0 | 7 | Use the Spotify API from Prolog. | |
plammar | 1.0.22 | 74 | Prolog parser and serialiser written in Prolog | |
obo_ro | 0.0.1 | 7 | Vocab for OBO Relation Ontology | |
nan_system_sources | 1.2.0 | 7 | Nan.System.Sources - Answer Sources in Prolog | |
kubepl | 0.11 | 74 | Kubernetes Client | |
identity | 0.2.2 | 7 | Registration, login, and role management | |
hello_world | 0.1 | 7 | Hello World pack as a test | |
evil | 0.2.31 | 71 | Predicates to Further the Cause of Evil | |
tus | 0.0.32 | 61 | TUS file transport protocol in prolog | |
pager | 0.1.01 | 61 | Send output to user's preferred pager | |
obo_core | 0.0.1 | 6 | Vocab for upper parts of core OBOs such as GO | |
hilog | 1.1.1181 | 65 | XSB-Prolog's Hilog Syntax in SWI-Prolog | |
excel_worksheets | 0.3.05 | 61 | Excel reader of worksheets cell values into prolog terms | |
coworkers | 0.1.0 | 6 | Workflow definition as tree of coroutines | |
ape | 6.7.180715 | 6 | Parser for Attempto Controlled English (ACE) | |
matrix_utls | 1.11 | 54 | Matrix utilities: Kronecker (Tensor), Hadamard, and matrices creation/multiplications | |
cli_table | 1.0.10 | 5 | Pretty unicode tables for the CLI with Prolog | |
pac4pl | 0.11 | 41 | An SWI-Prolog interface to libPAC | |
ontoweb | 0.0.41 | 43 | Show an ontology through a Web service. | |
notes800 | 0.1.01 | 41 | Query phone number data from 800notes.com | |
narsese | 2.0.31 | 42 | Narsese: Like OpenNARS in Prolog | |
nanp | 0.1.01 | 43 | phone numbers in the North American Numbering Plan | |
execution_context | 0.2.01 | 41 | Allows to retrieve setting from execution environment, given flexibility over setting/2, get_env, or command line configuration | |
purity | 0.1.22 | 31 | A Horn Clause Only library for Prolog | |
orgref_fix | 0.1.0 | 3 | Fix Org-ref citations. | |
mail_standards | 0.1.0 | 3 | Mail IMF and Maildir implementations. | |
logicmoo_workspace | 2.0.32 | 31 | LogicMOO Workspace -- The pack that installs the Logicmoo IDE and WebUI | |
progress_bar | 0.0.51 | 21 | Progress-bar and spinner (text-based) | |
print_table | 0.0.51 | 21 | Formats and prints a table on the terminal screen | |
gbn | 0.21 | 21 | BNs for large cohort genomic studies. | |
wumpus | 1.0.0 | 1 | Hunt The Wumpus | |
telegrambot | 0.0.2 | 1 | API for Telegram | |
svg | 0.1 | 1 | Manipulating SVG xmls | |
small_adventure_games | 1.1.8 | 1 | Small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
rtrace | 0.0.7 | 1 | Selective Interactive Non-Deterministic Tracing | |
resp_parse | 0.1 | 1 | Redis protocol parser and writer | |
pddl_valoptic_api | 1.1.118 | 1 | pddl_valoptic_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use PDDL based planners. | |
imodule | 0.0.1 | 1 | Support for modules from the server. | |
graphql-swipl | 0.0.1 | 1 | GraphQL Prolog Library | |
disp_bn | 0.1 | 1 | Construct and display BN terms via graphviz | |
dialect-ciao | 0.0.1 | 1 | Ciao Prolog compatibility library | |
ct_fft | 0.0 | 1 | Cooley–Tukey FFT algorithm | |
call_cleaup_each | 0.0.1 | 1 | Call A Goal On Each Redo |