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: 392
| Version
(#older)
| Downloads
tot: 77,703
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
abbreviated_dates | 0.0.392235 | 2,637270 | Parses abbreviated and ambiguous dates in multiple languages | |
achelois | 0.5.07 | 7,650219 | Collection of tools to make writing scripts in Prolog easier. | |
aleph | 523 | 5611 | Aleph Inductive Logic Programming system | |
amazon_api | 0.0.32 | 8881 | Interface to Amazon APIs | |
ansi_termx | 0.0.1 | 37 | ANSI terminal operations | |
anti_unify | 0.54 | 1810 | Anti-unification. anti_unify/3 is intended as a relational drop-in replacement for term_subsumer/3. | |
aop | 0.0.99 | 8912 | Opinonated aspect-oriented programming for prolog | |
ape | 6.7.1807152 | 621 | Parser for Attempto Controlled English (ACE) | |
app | 0.1 | 12 | Prolog Application Server | |
arithmetic_types | 0.0.54 | 377 | Support for user defined types in arithmetic expressions | |
arouter | 2.0.05 | 23858 | Alternative HTTP path router | |
assertions | 0.0.144 | 871 | Ciao Assertions Reader for SWI-Prolog | |
atom_feed | 0.2.04 | 10389 | Parse Atom and RSS feeds | |
auc | 1.011 | 3712 | Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves | |
automake | 0.2.514 | 7327 | Automake | |
b_real | 1.09 | 657 | Interface predicates to commonly used R functions. | |
bddem | 4.3.124 | 4412 | A library for manipulating Binary Decision Diagrams | |
bencode | 0.0.1 | 60 | Bencoding from BitTorrent protocol | |
bibtex | 0.1.83 | 3323 | Parser and predicates for BibTeX files | |
bims | 3.08 | 9910 | Bayesian inference of model structure. | |
bio_analytics | 0.76 | 362 | Computational biology data analytics. | |
bio_db | 4.631 | 1102 | Access, use and manage big, biological datasets. | |
bio_db_repo | 24.10.1724 | 682 | Data package for bio_db. | |
biomake | 0.1.512 | 4810 | Prolog makefile-like system | |
blog_core | 1.6.324 | 1266 | Blog/CMS framework | |
body_reordering | 2.0.36 | 3418 | Clause expansion Utils for deciding which order to run Goals in a body | |
bousi_pack | 1.0.03 | 331 | On my way to a SWISH enabled BPL - a FLI exercise | |
by_unix | 0.22 | 9431 | An elegance layer to calling unix commands. | |
call_cleaup_each | 0.0.1 | 1 | Call A Goal On Each Redo | |
callgraph | 0.4.117 | 377243 | Predicate call graph visualisation | |
canny_tudor | 0.23.225 | 11625 | Canny bag o' Tudor | |
cclab | 0.1.513 | 3922 | Continuations lab | |
ccprism | 0.1.020 | 6741 | Probabilistic programming using delimited continuations | |
chan | 0.2.0 | 37 | Directional channels for thread communication | |
chat80 | 1.11 | 10483 | Classic CHAT80 Prolog natural language application | |
chess_db | 1.03 | 6129 | PGN and chess game databases. | |
ciao | 0.0.11 | 2413 | Ciao Prolog compatibility library | |
clause_attvars | 1.1.1187 | 221 | An alternate interface to the clause database to allow attributed variables to be asserted | |
cli_table | 1.0.10 | 65 | Pretty unicode tables for the CLI with Prolog | |
clitable | 1.0.87 | 5425 | Pretty unicode tables for the CLI with Prolog | |
clpBNR | 0.11.1030 | 2,757135 | CLP over Reals using Interval Arithmetic - includes Rational, Integer and Boolean domains as subsets. | |
clpcd | 0.0.14 | 342 | Constraints over continuous domains | |
condition | 0.1.13 | 6957 | Condition system a la Common Lisp | |
consul_client | 0.0.42 | 1916 | Consul Client | |
cosmos | 0.3612 | 264 | <no title> | |
coworkers | 0.1.0 | 21 | Workflow definition as tree of coroutines | |
cplint | 4.5.0216 | 1,2402 | A suite of programs for reasoning with probabilistic logic programs | |
cplint_datasets | 1.0 | 90 | Dataset for machine learning with cplint | |
cplint_r | 1.0.015 | 10158 | R plotting predicates for cplint | |
css_write | 1.4.06 | 596 | DCG for generating CSS | |
ct_fft | 0.0 | 1 | Cooley–Tukey FFT algorithm | |
date_time | 0.1.47 | 7,3126,517 | Logical arithmetic on dates and times | |
db_facts | 0.55 | 316202 | Common db-tables-as-facts and SQL layer for ODBC and proSQLite. | |
dcg4pt | 1.0.04 | 10278 | DCG for Parse Trees | |
dcg_extras | 0.1 | 6 | Dcg extras | |
dcg_tools | 0.0.32 | 42 | Battery included bidirectional dcg parsing | |
dcg_util | 0.3.13 | 15232 | DCG utility predicates | |
dcgutils | 1.1.311 | 628529 | DCG related utilities | |
ddebug | 0.11 | 2321 | Declarative Debugger | |
debug_adapter | 0.7.228 | 13553 | Debug Adapter Protocol package for SWI-Prolog | |
debug_call | 1.57 | 7816 | Debugging with calls | |
delay | 0.3.37 | 8456 | Avoid instantiation errors for built-in predicates | |
dia | 0.1 | 45 | An interface to .dia-uml-diagrams | |
diagnostics | 0.2.03 | 8569 | SWI-Prolog source code diagnostics library | |
dialect-ciao | 0.0.1 | 1 | Ciao Prolog compatibility library | |
dict_schema | 0.0.21 | 129126 | Dict converter and validator | |
dictoo | 3.1.329 | 20145 | Dict-like OO Syntax | |
dictype | 0.0.2 | 22 | Concise dict type definitions | |
dirtree | 1.0.13 | 3921 | Load XML of directory content. | |
disp_bn | 0.1 | 15 | Construct and display BN terms via graphviz | |
djson | 0.0.32 | 152146 | Declarative JSON | |
docstore | 2.0.26 | 20243 | Document-oriented database for Prolog | |
doctest | 1.3.214 | 394 | Doctests using PlDoc and PlUnit | |
dot_dcg | 0.1.04 | 271 | A DCG for a subset of the DOT language | |
dotcloud | 0.0.21 | 3226 | Conveniences for running on dotCloud | |
dpath | 0.7.36 | 539 | Directory traversal module | |
dynworks | 1.3.26 | 10727 | Dynamic multi-dimensional arrays and vectors | |
each_call_cleanup | 1.1.11810 | 271 | Each Call Redo Setup and Cleanup | |
edcg | 0.9.1.813 | 3011 | Extended DCG | |
eggdrop | 2.0.321 | 431 | Hook up to an existing IRC Client called an Eggdrop | |
environ | 2.01 | 23557 | Demo package with C code, fetching the program environment | |
evil | 0.2.31 | 71 | Predicates to Further the Cause of Evil | |
excel_worksheets | 0.3.05 | 61 | Excel reader of worksheets cell values into prolog terms | |
execution_context | 0.2.04 | 4817 | Allows to retrieve setting from execution environment, given flexibility over setting/2, get_env, or command line configuration | |
fcgi | 0.9.0 | 37 | fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog | |
ffi | 0.88 | 17913 | Dynamically call C functions | |
ffimatrix | 0.1.010 | 871 | Operations with matrices using Prolog and C | |
file_scope | 1.1.1185 | 191 | File local scoped efects | |
file_utilities | 0.1 | 37 | File system related utilities | |
files_extras | 0.1.02 | 392 | Few extra predicates for traversing folders and simplifying work with file system | |
fileutils | 0.3.510 | 12062 | Utilities for reading, writing and finding files | |
fine_upload | 0.2.05 | 3010 | HTTP support for file uploading | |
fld | 1.2.26 | 553 | Object system that allows easy and efficient access to term arguments by name. | |
fluents | 0.1.21 | 2817 | Access all solutions of a goal without backtracking | |
flux | 1.1.118 | 44 | 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. | |
fnotation | 1.0.05 | 9016 | Function notation for Prolog | |
format_spec | 0.0.21 | 4645 | Parse and check format/2 specifications | |
func | 0.4.28 | 393261 | Function application and composition | |
function_expansion | 0.1.24 | 1605 | Help for writing function-like macros | |
gbn | 0.21 | 1615 | BNs for large cohort genomic studies. | |
genutils | 0.3.823 | 181130 | General miscellaneous utilities | |
geoip | 0.9.01 | 333 | Access GeoIP library | |
gitlabci | 1.0.61 | 1210 | Create a pack release page using Gitlab CI | |
googleclient | 0.5.23 | 3611 | SWI-Prolog code for "Login with Google" | |
gpc | 1.2.03 | 8735 | Generic polygon clipper | |
graphml | 0.1.0 | 150 | Write GraphML files | |
graphpl | 0.1.16 | 492 | Graph data structure utilities | |
graphql | 0.0.1 | 43 | GraphQL Prolog Library | |
graphql-swipl | 0.0.1 | 1 | GraphQL Prolog Library | |
gvar_syntax | 2.0.318 | 12468 | Global Variable Syntax | |
gvterm | 1.11 | 231200 | Show Prolog terms using graphviz | |
hashtbl | 0.0.21 | 5453 | Pure and impure hash tables | |
hdt | 0.5.49 | 774 | Access RDF HDT files | |
hello | 0.0.1 | 75 | Hello World | |
hello_world | 0.1 | 24 | Hello World pack as a test | |
hilog | 1.1.1181 | 1816 | XSB-Prolog's Hilog Syntax in SWI-Prolog | |
hook_hybrid | 1.1.11812 | 153 | Hook assert retract call of *specific* predicates | |
http2_client | 1.0.06 | 7364 | An HTTP/2 client | |
httplog | 0.5.01 | 263 | Analyse SWI-Prolog HTTP server log files | |
ical | 0.1.01 | 101 | iCalendar DCGs and parsers | |
identity | 0.2.2 | 23 | Registration, login, and role management | |
imodule | 0.0.1 | 1 | Support for modules from the server. | |
index_util | 0.0.21 | 259252 | Prolog index utils | |
indexed_terms | 1.0.0 | 19 | Positional access to terms' arguments | |
inotify | 1.0.02 | 761 | Access Linux inotify API to watch file system changes | |
instant_prolog_docs | 2.0.3114 | 391 | Magically document prolog source files based on predicate and variable naming conventions | |
interpolate | 0.1.02 | 1341 | String interpolation | |
interval | 0.142 | 1345 | Interval arithmetic for SWI-Prolog | |
irc_client | 1.3.09 | 6441 | Low level interface to IRC clients | |
iso4217 | 1.0.0 | 1 | Access ISO 4217 currency codes | |
jolog | 0.0.31 | 4939 | Concurrency via join calculus | |
json_answer | 0.33 | 158 | Convenience module to convert a prolog query into a JSON answer | |
julian | 0.1.37 | 73814 | Date and time library | |
julian_lang_en | 0.0.21 | 5049 | Parse English language phrases into library(julian) constraints | |
jwt_io | 0.0.34 | 6037 | JWT implementation | |
k8s_client | 1.1.04 | 229 | kubernetes API client with watcher functionality | |
kubepl | 0.11 | 1714 | Kubernetes Client | |
lambda | 1.0.0 | 832 | Lambda expressions | |
lambda_abstractions | 0.2.11 | 5756 | Lambda abstractions | |
languages_bot | 0.0.11 | 1511 | A chatbot that talks with the user to recommend some programming language | |
lazy_streams | 0.5.0 | 18 | Lazy Stream Generators | |
lbfgs | 2.017 | 17246 | An interface to call libLBFGS from within SWI-Prolog | |
lcs | 0.0.1 | 46 | Longest common subsequence | |
ldap4pl | 0.11 | 4039 | LDAP interface | |
le | 0.0.13 | 107 | Logical English Parser | |
lib | 2.1018 | 5520 | Predicate based code development | |
lib_atts | 1.1.1183 | 201 | Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html | |
libssh | 0.9.23 | 13585 | Provide an embedded SSH server | |
liftcover | 0.131 | 1102 | A Probabilistic Indutive Logic Programming system | |
link_grammar_prolog | 4.1.0.32 | 5349 | A binding to use the Link Grammar library from SWI-Prolog | |
list_util | 0.13.019 | 3,9061 | Predicates for working with lists | |
log4p | 0.0.94 | 297143 | Logging for Prolog | |
logicmoo_base | 2.0.348 | 903 | LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints | |
logicmoo_cg | 2.0.36 | 226 | Conceptual Graph (CG) Libraries in Prolog and test data | |
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 | |
logicmoo_nars | 2.0.31 | 123 | Narsese: Like OpenNARS in Prolog | |
logicmoo_nlu | 2.0.326 | 891 | Various English to Logic Converters - warning: HUGE amount of lexical and test data | |
logicmoo_planners | 1.1.1182 | 84 | Various Hybrid HTN Planners speaking PDDLish and OCLh | |
logicmoo_utils | 3.1.558 | 16215 | Common predicates that are used throughout LogicMOO Software | |
logicmoo_webui | 2.0.39 | 251 | LogicMOO - The pack that installs the WebUI | |
logicmoo_workspace | 2.0.32 | 31 | LogicMOO Workspace -- The pack that installs the Logicmoo IDE and WebUI | |
logtalk | 3.85.0114 | 9483 | Logtalk - Object-Oriented Logic Programming Language | |
loop_check | 1.1.11810 | 132 | New simple loop checking | |
lps_corner | 2.0.33 | 2313 | LPS Corner with SWISH and Dialect | |
lsp_server | 2.4.132 | 2,142139 | A Prolog LSP Server | |
ltools | 1.02 | 41 | ltools - List manipulation in Prolog | |
mail_merge | 1.0.01 | 191 | Library for performing mail merge | |
mail_standards | 0.1.0 | 3 | Mail IMF and Maildir implementations. | |
markdown | 0.0.32 | 294157 | Markdown parser for SWI-Prolog | |
mathml | 1.336 | 511 | Translates mathematical expressions to compounds that can be used by html//1 (SWISH) or html//3 (normal SWIPL, with pack http/html_write). | |
matrix | 2.08 | 671272 | Operations with matrices | |
matrix_utls | 1.11 | 2623 | Matrix utilities: Kronecker (Tensor), Hadamard, and matrices creation/multiplications | |
mavis | 0.2.313 | 1,1092 | Optional type declarations | |
maybe | 0.1.13 | 7471 | The maybe type represents an optional value | |
medikit | 0.0.76 | 82 | meditans' personal utilities | |
memo | 0.6.117 | 9746 | Persistent memoisation of deterministic predicates | |
midiutils | 0.0.31 | 98 | midiutils | |
mime | 0.5.01 | 241 | MIME processing library based on maildrop | |
miser | 0.0.1 | 28 | Build self-optimizing predicates | |
mlu | 0.53 | 755 | Machine learning utilities | |
modeling | 1.1.57 | 4824 | MiniZinc-inspired modeling predicates in Prolog. | |
morfeusz | 0.1.47 | 173 | Morfeusz2 bindings for SWI-Prolog. | |
mpi | 1.05 | 341 | Porting of the LAMMPI library of Yap Prolog to SWI-Prolog | |
mqtt | 1.0.52 | 105103 | mqtt - pub/sub pack for SWI-Prolog using mosquitto | |
msgpack | 0.1.64 | 3226 | DCG for packing & unpacking of MessagePack data to/from bytes | |
msgpackc | 0.2.14 | 7060 | C-Based MessagePack for SWI-Prolog | |
mtx | 0.65 | 5920 | Working with data matrices | |
multimodal_dcg | 2.0.38 | 3812 | Reduce floundering of DCGs by constraining and narrowing search | |
musicbrainz | 0.7.021 | 5327 | Musicbrainz client library | |
musicxml | 0.0.21 | 3028 | MusicXML partial reader | |
must_trace | 1.1.11826 | 461 | Trace with your eyeballs instead of your fingers | |
mutable_variables | 1.0.0 | 26 | Mutable Variables | |
nan_common | 1.22 | 3329 | Common operations (validation, etc.) | |
nan_numerics_prime | 1.2.54 | 7570 | Nan.Numerics.Prime - A simple prime number library | |
nan_system_sources | 1.2.0 | 15 | Nan.System.Sources - Answer Sources in Prolog | |
nanp | 0.1.01 | 1514 | phone numbers in the North American Numbering Plan | |
narsese | 2.0.31 | 42 | Narsese: Like OpenNARS in Prolog | |
ninja | 0.2 | 5 | Ninja build system generator | |
no_repeats | 1.1.1187 | 2213 | New ways to avoid duplicate solutions | |
notes800 | 0.1.01 | 111 | Query phone number data from 800notes.com | |
number_to_word | 0.4.25 | 3732 | Integer to English word conversions | |
obo_core | 0.0.1 | 16 | Vocab for upper parts of core OBOs such as GO | |
obo_metadata | 0.0.43 | 224221 | RDF vocabulary for OBO metadata ontologies | |
obo_ro | 0.0.1 | 15 | Vocab for OBO Relation Ontology | |
odf_sheet | 0.2.45 | 9830 | Load and analyze ODF spreadsheets (.ods) | |
odict | 0.2.65 | 2722 | Unifier over feature structures based on attributed variables | |
onepointfour_basics | 0.9 | 3 | Some basic predicates that may be useful. Includes a replacement of must_be/2 and a dict prettyprinter | |
ontodot | 0.1.12 | 1512 | Create dot files from an RDF ontology. | |
ontoweb | 0.0.41 | 98 | Show an ontology through a Web service. | |
open_dicts | 0.0.1 | 32 | Open dicts for SWI Prolog | |
openapi | 0.8.010 | 1353 | OpenAPI (Swagger) interface | |
options | 1.510 | 11918 | Options handling. | |
orgref_fix | 0.1.21 | 81 | Fix Org-ref citations. | |
os_lib | 1.510 | 10536 | Operating system interaction predicates. | |
pPEG | 2.0.08 | 139118 | Pack to support parsing text using pPEG grammars | |
pac | 1.9.8135 | 2536 | Anonymous predicates expansion utility | |
pac4pl | 0.11 | 121 | An SWI-Prolog interface to libPAC | |
pack_errors | 2.26 | 11318 | Contextual error handling for packs. | |
pager | 0.1.01 | 131 | Send output to user's preferred pager | |
pascal | 1.06 | 332 | Probabilistc inductive constraint logic | |
pcache | 0.1.0 | 18 | Persistent answer cache | |
pddl_valoptic_api | 1.1.118 | 1 | pddl_valoptic_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use PDDL based planners. | |
peg_syntax | 1.02 | 145 | PEG syntax for prolog | |
pepl | 2.36 | 342 | Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm. | |
perfunctory_types | 0.21 | 84 | Per-functor, static, polymorphic types | |
persist | 0.34 | 95 | Persists facts into a file | |
pfc | 3.0.359 | 1751 | Pfc -- a package for forward chaining in Prolog | |
pfd_meta | 0.1 | 18 | Probabilistic finite domains meta-interpreter | |
pha | 0.1.22 | 2927 | Probabilistic Horn Abduction | |
phil | 1.0.054 | 1821 | Learning Hierarchical Probabilistic Logic Programs | |
phil_datasets | 1.07 | 474 | Dataset for machine learning with phil | |
pinyin | 0.1.55 | 2418 | Parsing and generation of Hanyu Pinyin | |
plOpenGL | 0.6.25 | 145131 | OpenGL Bindings | |
pl_mustache | 1.0.02 | 191 | Mustache | |
pl_omdb | 0.5.08 | 3919 | API interface to OMDB (Open Movie Database) | |
pl_owl | 0.1.0 | 11 | OWL utility predicates over rdf library | |
plammar | 1.0.24 | 272 | Prolog parser and serialiser written in Prolog | |
planner_api | 1.1.1184 | 91 | planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh | |
plasticsearch | 0.12 | 2826 | Elasticsearch client API | |
plblas | 0.114 | 221 | lapack/armadillo binding for SWI-Prolog | |
plcairo | 1.1.14 | 12472 | plcairo - Prolog bindings for cairo graphics library | |
plcal | 0.0.55 | 511 | Programming Calendar | |
plchatscript | 1.0.94 | 3630 | Interface to the ChatScript server. | |
plcomplex | 0.33 | 296 | Simple calculation of complex numbers | |
plfann | 0.0.24 | 663 | SWI-Prolog for "Fast Artificial Neural Network Library" | |
plgi | 1.1.011 | 263123 | PLGI - Prolog bindings for GLib/GObject/GIO/GTK+ | |
pljulia | 0.1.417 | 711 | Embedded Julia for SWI Prolog | |
plmake | 0.0.31 | 1712 | Prolog makefile-like system | |
plmidi | 0.7.07 | 4522 | Interface to Mac OS X MIDI system | |
plml | 2.0.316 | 4218 | Prolog-Matlab bridge | |
plosc | 0.4.66 | 5221 | OSC input/output via liblo | |
plplot | 0.0.13 | 7010 | A library to plot data using gnuplot. | |
plrand | 0.9.1313 | 7251 | Skippable pseudorandom generator and distributions | |
plsmf | 0.5.08 | 5137 | Standard MIDI File reading | |
plstat | 1.03 | 3026 | plstat - Statistics with Prolog | |
plumdrum | 0.0.63 | 2414 | Parsing of Humdrum/Kern symbolic music file format | |
pluuid | 2.0.0 | 19 | Generating and parsing version 4 UUIDs in Pure Prolog | |
ppm | 0.0.0 | 2 | A simple package manager for SWI-Prolog. | |
predicate_streams | 3.0.323 | 19971 | Implement your own Abstract Predicate Streams | |
print_table | 0.0.52 | 521 | Formats and prints a table on the terminal screen | |
prism | 0.2.14 | 3026 | Run PRISM as a child process | |
pro2sql | 0.1.01 | 21 | Lightweight translater of Prolog to SQL SELECT statements | |
probat | 0.13 | 41 | probat - Property based testing Prolog programs. | |
programk | 2.0.31 | 96 | AIML 2.0 - Because an AIML Interpreter/Chatbot needed to exist in Prolog to! | |
progress_bar | 0.0.51 | 231 | Progress-bar and spinner (text-based) | |
prolog2gpt | 0.1.0 | 15 | Library of prolog predicates to access the GPT API | |
prolog_geo | 1.0.76 | 3315 | Geospatial support in Prolog | |
prolog_graphviz | 1.0.53 | 255218 | Prolog-based graph visualization | |
prolog_imagemagick | 1.0.33 | 2921 | Prolog binding for ImageMagick | |
prolog_library_collection | 1.0.1612 | 694330 | Prolog Library Collection | |
prolog_lsp | 0.0.1010 | 300265 | Implementation of Language Server Protocol for Prolog | |
prolog_rdf | 1.0.75 | 3218 | Prolog RDF Library | |
prolog_si | 0.1 | 4 | Port of the Scryer prolog si module | |
prolog_starter_project | 1.0.42 | 2014 | Prolog Starter Project | |
prolog_uriparser | 1.0.55 | 2011 | Prolog binding for uriparser | |
prolog_verify_type | 0.1 | 3 | A more declarative approach to verify the type of a prolog term | |
prologmud | 2.0.330 | 702 | Online text adventure game - MUD Server | |
prologmud_I7 | 1.2.11112 | 333 | PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
prologmud_samples | 2.0.338 | 812 | Online text adventure game - Sample | |
prosqlite | 2.019 | 1,14444 | An SWI-Prolog interface to SQLite | |
pub_graph | 1.22 | 243 | Access, cache and visualise citation relations in publications servers | |
pubmed | 0.0.43 | 4433 | Access pubmed publication records | |
purity | 0.2.26 | 161 | A Horn Clause Only library for Prolog | |
py_to_plantuml | 0.0.32 | 107 | Creates UML class diagrams from Python pylint's pyreverse generated .dot files. | |
quantity | 0.113 | 482 | Parse quantities like "1.5 kg" and return some formatting information. | |
quickcheck | 0.3.017 | 1962 | QuickCheck randomized testing | |
r_session | 1.11 | 1615 | Interface to an R process | |
race | 0.1.07 | 601 | Client for the SOAP interface of the Attempto Reasoner RACE | |
rdet | 1.0.27 | 17930 | Runtime determinacy checker | |
rdf_matcher | 0.1.53 | 2922 | RDF matching utils | |
rdf_notification | 0.1 | 16 | RDF notification | |
rdfs2pl | 0.0.53 | 5735 | Compile an RDFS schema to prolog predicates | |
readability_parser | 0.0.43 | 3223 | Readability Parser API | |
real | 2.314 | 59635 | Integrative statistics with R | |
recaptcha | 0.9.22 | 7469 | reCAPTCHA plugin for SWI-Prolog HTTP framework | |
refactor | 1.0.066 | 1075 | Refactoring Tools for SWI-Prolog | |
regex | 0.3.311 | 1,8361,441 | Regular expressions | |
reif | 1.0.0 | 1,110 | Reified if, reification library | |
reif_utils | 1.0.0 | 20 | A collection of reified predicates for use with reif.pl | |
resbound | 0.8.11 | 4241 | Run goal with resource bounds | |
resp | 0.33 | 2320 | Redis protocol parser and writer | |
resp_parse | 0.1 | 1 | Redis protocol parser and writer | |
rocksdb | 0.14.413 | 1211 | SWI-Prolog interface to RocksDB | |
rologp | 0.12 | 6215 | Simple interface to R | |
rologpp | 0.4139 | 6225 | Simple interface to R | |
roman | 0.1.0 | 53 | Roman numerals | |
ropes | 0.1.75 | 1912 | Ropes data structure library | |
rserve_client | 1.1.418 | 931 | R Rserve client | |
rtchecks | 0.0.132 | 511 | Run-Time Checker for Assertions | |
rtg | 0.0.711 | 3322 | Regular Tree Grammer validator | |
rtp_qsndqs | 0.32 | 4240 | Real-time persistent queues and deques. | |
rtrace | 0.0.7 | 1 | Selective Interactive Non-Deterministic Tracing | |
s_expression | 1.2.1119 | 3626 | Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF | |
scasp | 1.1.431 | 1493 | Goal directed ASP solver | |
semantria | 0.0.43 | 4030 | Use Semantria natural language API | |
si | 0.1 | 1 | Port of the Scryer prolog si module | |
simple_bootstrap | 0.0.21 | 1614 | Bootstrap Extension to Simple Web | |
simple_template | 1.3.19 | 462257 | Logic-free text (HTML) templates | |
simple_web | 0.3.16 | 4426 | Microframework for building websites | |
sindice | 0.0.53 | 2821 | Access to Sindice semantic web search engine | |
slack_prolog | 2.0.33 | 267 | Prolog interface to Slack http://www.slack.com | |
sldnfdraw | 1.619 | 562292 | SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX | |
small_adventure_games | 1.1.8 | 1 | Small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
smtlib | 0.0.65 | 3225 | SMT-LIB parser for SWI-Prolog | |
smtp | 1.1.06 | 37827 | An (E)SMTP client for sending mail | |
sort_dict | 0.0.32 | 120116 | Sorts dicts by key | |
sourcehut | 0.1.10 | 8 | SourceHut GraphQL API client | |
space | 0.3.46 | 425 | Space package | |
sparkle | 0.1.19 | 9111 | Prolog-friendly interface to SPARQL endpoints | |
sparqlprog | 0.2.921 | 2,322318 | Logic programming with SPARQL | |
sparqlprog_wikidata | 0.0.32 | 5749 | SPARQLprog bindings for WikiData | |
spawn | 0.0.1 | 195 | Easy concurrency | |
spotify | 0.1.0 | 15 | Use the Spotify API from Prolog. | |
spuds | 1.211 | 372 | Persistent, user code inclusive, documentation server for linux | |
sql_compiler | 0.1.41 | 2928 | Prolog to SQL compiler | |
stoics_lib | 1.814 | 1064 | A medley of library predicates for stoics packs | |
stompl | 0.11 | 189 | STOMP client | |
subclause_expansion | 1.1.1185 | 111 | More detailed versions of term/goal expansion hooks | |
subsumes | 0.43 | 187 | 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. | |
sudoku_utils | 0.0.113 | 741735 | Testing to make an example package with utils for working with Sudoku | |
svg | 0.1 | 24 | Manipulating SVG xmls | |
sweet | 0.1.13 | 7974 | Sugar to make Prolog a little sweeter | |
swicli | 2.0.012 | 918 | SWI-Prolog interface to C/C++/.NET/Mono/Objective-C | |
swipe | 0.2.611 | 6941 | Shell pipeline construction with type checking | |
swiplite | 0.22 | 93 | Prolog bindings for SQLite3 | |
switex | 0.0.76 | 3832 | Literate programming with LaTeX and Prolog | |
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) | |
tailwind_pl | 2.0.29 | 2810 | Tailwind-style CSS generator for Prolog | |
tailwind_pl_generate | 2.2.03 | 126 | Tailwind-style CSS generator for Prolog - Generator | |
tap | 1.0.326 | 5,91031 | Automated tests via Test Anything Protocol | |
telegrambot | 0.0.21 | 21 | API for Telegram | |
term_diff | 0.0.11 | 1816 | ||
terminus_store_prolog | 0.19.879 | 3,539243 | Use the Terminus-Store Rust library from Prolog | |
thousands | 0.2.03 | 3631 | Thousands separator for large integers | |
tidylog | 0.0.1 | 21 | ||
timeutils | 0.0.4 | 31 | Tools for temporally aware programming | |
tokenize | 1.0.14 | 296236 | A simple tokenization library | |
tor | 1.0.44 | 4423 | Tor: Extensible Search with Hookable Disjunction | |
transpiler | 0.122 | 1153 | A universal translator for programming languages | |
trill | 7.0.1126 | 3396 | A tableau probabilistic reasoner in three different versions | |
turing | 1.0.22 | 4338 | Turing Machine Simulator | |
tus | 0.0.1415 | 2622 | TUS file transport protocol in prolog | |
0.101 | 257 | A pack to access the twitter api | ||
type_check | 1.0.33 | 11036 | Type System for Prolog based on Hindley-Milner | |
typedef | 0.1.910 | 515403 | Support for type definitions | |
unified_diff | 0.0.1 | 29 | Parse and generate unified diffs | |
union_find | 1.0.0 | 39 | A union-find algorithm implementation for SWI-Prolog | |
unionfind | 1.0.0 | 22 | Optimal implementation of the union-find algorithm in CHR | |
upsh | 2.65 | 374 | Unix to Prolog shell. | |
uri_qq | 0.3.03 | 4534 | URI quasiquotations | |
uuid | 1.1.02 | 7876 | Generating and parsing version 4 UUIDs | |
vcard | 0.0.11 | 131 | vCard Parser and Predicates | |
wam_common_lisp | 2.0.340 | 10930 | ANSI Common Lisp implemented in Prolog | |
web | 0.1.11 | 4744 | Easy web client | |
webconsole | 0.9.11 | 104103 | Use a browser as HTML console | |
weblog | 0.0.56 | 5312 | weblog | |
wgraph | 0.65 | 7839 | Weighted graphs, with plotting via Real | |
with | 0.0.61 | 294 | Context managers for SWI Prolog | |
with_memory_file | 0.11 | 61 | Like with_output_to but for memory files | |
with_open_options | 1.2.116 | 2417 | Utilities to open various objects for read/write | |
with_state | 0.0.56 | 3426 | Stateful computations with records | |
with_thread_local | 1.2.1115 | 167 | Call a Goal with local assertions | |
wordnet | 0.9.34 | 20661 | Access to WordNet database | |
wsdl | 0.1 | 104 | Web Service Description Language (WSDL) and SOAP | |
wuenic | 0.1 | 1 | wuenic package | |
wumpus | 1.0.0 | 1 | Hunt The Wumpus | |
xlibrary | 0.0.246 | 711 | Extended Libraries for Prolog | |
xlisting | 1.2.11115 | 312 | Selective Interactive Non-Deterministic Tracing | |
xlisting_web | 1.1.1186 | 1913 | Manipulate and browse prolog runtime over www | |
xsd | 0.2.18 | 853 | XML Schema validation with Prolog | |
xtools | 0.0.262 | 912 | Extended Tools for SWI-Prolog | |
yaml | 0.14 | 2192 | YAML parser |