| Did you know ... | Search Documentation: |
 | Packs (add-ons) for SWI-Prolog |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
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: 386
| Version
(#older)
| Downloads
tot: 62,035
(#latest) | Rating
(#votes/
#comments) | Title |
|---|---|---|---|---|
| typedef | 0.1.910 | 457345 | Support for type definitions | |
| 0.101 | 246 | A pack to access the twitter api | ||
| plgi | 1.1.011 | 251111 | PLGI - Prolog bindings for GLib/GObject/GIO/GTK+ | |
| plchatscript | 1.0.94 | 3630 | Interface to the ChatScript server. | |
| lambda | 1.0.0 | 801 | Lambda expressions | |
| graphml | 0.1.0 | 146 | Write GraphML files | |
| function_expansion | 0.1.24 | 1165 | Help for writing function-like macros | |
| func | 0.4.28 | 382250 | Function application and composition | |
| edcg | 0.9.1.813 | 2741 | Extended DCG | |
| dcg_util | 0.3.13 | 14728 | DCG utility predicates | |
| date_time | 0.1.47 | 3,6442,851 | Logical arithmetic on dates and times | |
| callgraph | 0.4.117 | 369235 | Predicate call graph visualisation | |
| webconsole | 0.9.11 | 102101 | Use a browser as HTML console | |
| sparkle | 0.1.19 | 866 | Prolog-friendly interface to SPARQL endpoints | |
| refactor | 0.0.363 | 991 | Refactoring Tools for SWI-Prolog | |
| hello | 0.0.1 | 75 | Hello World | |
| gvterm | 1.11 | 223192 | Show Prolog terms using graphviz | |
| evil | 0.2.31 | 71 | Predicates to Further the Cause of Evil | |
| plOpenGL | 0.6.25 | 145131 | OpenGL Bindings | |
| yaml | 0.14 | 2182 | YAML parser | |
| xtools | 0.0.260 | 852 | Extended Tools for SWI-Prolog | |
| xsd | 0.2.18 | 853 | XML Schema validation with Prolog | |
| xlisting_web | 1.1.1186 | 1913 | Manipulate and browse prolog runtime over www | |
| xlisting | 1.2.11115 | 292 | Selective Interactive Non-Deterministic Tracing | |
| xlibrary | 0.0.243 | 621 | Extended Libraries for Prolog | |
| wumpus | 1.0.0 | 1 | Hunt The Wumpus | |
| wuenic | 0.1 | 1 | wuenic package | |
| wsdl | 0.1 | 100 | Web Service Description Language (WSDL) and SOAP | |
| wordnet | 0.9.34 | 17733 | Access to WordNet database | |
| with_thread_local | 1.2.1115 | 156 | Call a Goal with local assertions | |
| with_state | 0.0.56 | 3224 | Stateful computations with records | |
| with_open_options | 1.2.116 | 2215 | Utilities to open various objects for read/write | |
| with_memory_file | 0.11 | 51 | Like with_output_to but for memory files | |
| with | 0.0.61 | 272 | Context managers for SWI Prolog | |
| wgraph | 0.65 | 7839 | Weighted graphs, with plotting via Real | |
| weblog | 0.0.56 | 5312 | weblog | |
| web | 0.1.11 | 4542 | Easy web client | |
| wam_common_lisp | 2.0.340 | 10627 | ANSI Common Lisp implemented in Prolog | |
| vcard | 0.0.1 | 12 | vCard Parser and Predicates | |
| uuid | 1.1.02 | 7674 | Generating and parsing version 4 UUIDs | |
| uri_qq | 0.3.03 | 3928 | URI quasiquotations | |
| upsh | 2.65 | 352 | Unix to Prolog shell. | |
| unionfind | 1.0.0 | 22 | Optimal implementation of the union-find algorithm in CHR | |
| union_find | 1.0.0 | 36 | A union-find algorithm implementation for SWI-Prolog | |
| unified_diff | 0.0.1 | 28 | Parse and generate unified diffs | |
| type_check | 1.0.33 | 10430 | Type System for Prolog based on Hindley-Milner | |
| tus | 0.0.1413 | 25110 | TUS file transport protocol in prolog | |
| turing | 1.0.22 | 4338 | Turing Machine Simulator | |
| trill | 6.0.6123 | 32620 | A tableau probabilistic reasoner in three different versions | |
| transpiler | 0.122 | 1143 | A universal translator for programming languages | |
| tor | 1.0.44 | 4423 | Tor: Extensible Search with Hookable Disjunction | |
| tokenize | 1.0.14 | 286226 | A simple tokenization library | |
| timeutils | 0.0.4 | 30 | Tools for temporally aware programming | |
| tidylog | 0.0.1 | 18 | ||
| thousands | 0.2.03 | 3530 | Thousands separator for large integers | |
| terminus_store_prolog | 0.19.879 | 3,535239 | Use the Terminus-Store Rust library from Prolog | |
| term_diff | 0.0.11 | 1614 | ||
| telegrambot | 0.0.2 | 1 | API for Telegram | |
| tap | 1.0.326 | 2,22111 | Automated tests via Test Anything Protocol | |
| tailwind_pl_generate | 2.2.03 | 104 | Tailwind-style CSS generator for Prolog - Generator | |
| tailwind_pl | 2.0.29 | 268 | Tailwind-style CSS generator for 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) | |
| switex | 0.0.76 | 3731 | Literate programming with LaTeX and Prolog | |
| swipe | 0.2.611 | 6032 | Shell pipeline construction with type checking | |
| swicli | 2.0.012 | 888 | SWI-Prolog interface to C/C++/.NET/Mono/Objective-C | |
| sweet | 0.1.13 | 7873 | Sugar to make Prolog a little sweeter | |
| svg | 0.1 | 15 | Manipulating SVG xmls | |
| sudoku_utils | 0.0.113 | 741735 | Testing to make an example package with utils for working with Sudoku | |
| subsumes | 0.43 | 143 | 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_expansion | 1.1.1185 | 111 | More detailed versions of term/goal expansion hooks | |
| stompl | 0.11 | 189 | STOMP client | |
| stoics_lib | 1.814 | 1031 | A medley of library predicates for stoics packs | |
| sql_compiler | 0.1.41 | 2928 | Prolog to SQL compiler | |
| spuds | 1.211 | 372 | Persistent, user code inclusive, documentation server for linux | |
| spotify | 0.1.0 | 15 | Use the Spotify API from Prolog. | |
| spawn | 0.0.1 | 188 | Easy concurrency | |
| sparqlprog_wikidata | 0.0.32 | 5446 | SPARQLprog bindings for WikiData | |
| sparqlprog | 0.2.921 | 2,010318 | Logic programming with SPARQL | |
| space | 0.3.46 | 425 | Space package | |
| sourcehut | 0.1.10 | 8 | SourceHut GraphQL API client | |
| sort_dict | 0.0.32 | 120116 | Sorts dicts by key | |
| smtp | 1.1.06 | 36615 | An (E)SMTP client for sending mail | |
| smtlib | 0.0.65 | 2821 | SMT-LIB parser for SWI-Prolog | |
| small_adventure_games | 1.1.8 | 1 | Small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
| sldnfdraw | 1.619 | 526260 | SLDNF Draw is a Prolog program that draws SLDNF Trees in LaTeX | |
| slack_prolog | 2.0.33 | 267 | Prolog interface to Slack http://www.slack.com | |
| sindice | 0.0.53 | 2821 | Access to Sindice semantic web search engine | |
| simple_web | 0.3.16 | 4426 | Microframework for building websites | |
| simple_template | 1.3.19 | 455250 | Logic-free text (HTML) templates | |
| simple_bootstrap | 0.0.21 | 1614 | Bootstrap Extension to Simple Web | |
| si | 0.1 | 1 | Port of the Scryer prolog si module | |
| semantria | 0.0.43 | 4030 | Use Semantria natural language API | |
| scasp | 1.1.429 | 1025 | Goal directed ASP solver | |
| s_expression | 1.2.1119 | 3525 | Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF | |
| rtrace | 0.0.7 | 1 | Selective Interactive Non-Deterministic Tracing | |
| rtp_qsndqs | 0.32 | 4038 | Real-time persistent queues and deques. | |
| rtg | 0.0.711 | 3322 | Regular Tree Grammer validator | |
| rtchecks | 0.0.131 | 501 | Run-Time Checker for Assertions | |
| rserve_client | 1.1.217 | 901 | R Rserve client | |
| ropes | 0.1.75 | 1811 | Ropes data structure library | |
| roman | 0.1.0 | 52 | Roman numerals | |
| rologpp | 0.4139 | 2081 | Simple interface to R | |
| rologp | 0.12 | 2071 | Simple interface to R | |
| rocksdb | 0.12.011 | 1191 | SWI-Prolog interface to RocksDB | |
| resp_parse | 0.1 | 1 | Redis protocol parser and writer | |
| resp | 0.33 | 1916 | Redis protocol parser and writer | |
| resbound | 0.8.11 | 4140 | Run goal with resource bounds | |
| reif_utils | 1.0.0 | 20 | A collection of reified predicates for use with reif.pl | |
| reif | 1.0.0 | 582 | Reified if, reification library | |
| regex | 0.3.311 | 1,7551,360 | Regular expressions | |
| recaptcha | 0.9.22 | 7368 | reCAPTCHA plugin for SWI-Prolog HTTP framework | |
| real | 2.314 | 59433 | Integrative statistics with R | |
| readability_parser | 0.0.43 | 3122 | Readability Parser API | |
| rdfs2pl | 0.0.53 | 5634 | Compile an RDFS schema to prolog predicates | |
| rdf_notification | 0.1 | 15 | RDF notification | |
| rdf_matcher | 0.1.53 | 2720 | RDF matching utils | |
| rdet | 1.0.27 | 17728 | Runtime determinacy checker | |
| race | 0.1.07 | 571 | Client for the SOAP interface of the Attempto Reasoner RACE | |
| r_session | 1.11 | 1615 | Interface to an R process | |
| quickcheck | 0.3.017 | 1642 | QuickCheck randomized testing | |
| quantity | 0.113 | 421 | Parse quantities like "1.5 kg" and return some formatting information. | |
| py_to_plantuml | 0.0.32 | 107 | Creates UML class diagrams from Python pylint's pyreverse generated .dot files. | |
| purity | 0.2.15 | 151 | A Horn Clause Only library for Prolog | |
| pubmed | 0.0.43 | 4433 | Access pubmed publication records | |
| pub_graph | 1.22 | 243 | Access, cache and visualise citation relations in publications servers | |
| prosqlite | 1.818 | 1,016252 | An SWI-Prolog interface to SQLite | |
| prologmud_samples | 2.0.338 | 802 | Online text adventure game - Sample | |
| prologmud_I7 | 1.2.11112 | 333 | PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
| prologmud | 2.0.330 | 702 | Online text adventure game - MUD Server | |
| prolog_verify_type | 0.1 | 3 | A more declarative approach to verify the type of a prolog term | |
| prolog_uriparser | 1.0.55 | 2011 | Prolog binding for uriparser | |
| prolog_starter_project | 1.0.42 | 2014 | Prolog Starter Project | |
| prolog_si | 0.1 | 2 | Port of the Scryer prolog si module | |
| prolog_rdf | 1.0.75 | 2915 | Prolog RDF Library | |
| prolog_lsp | 0.0.1010 | 182147 | Implementation of Language Server Protocol for Prolog | |
| prolog_library_collection | 1.0.1612 | 642278 | Prolog Library Collection | |
| prolog_imagemagick | 1.0.33 | 2820 | Prolog binding for ImageMagick | |
| prolog_graphviz | 1.0.53 | 194157 | Prolog-based graph visualization | |
| prolog_geo | 1.0.76 | 3315 | Geospatial support in Prolog | |
| prolog2gpt | 0.1.0 | 12 | Library of prolog predicates to access the GPT API | |
| progress_bar | 0.0.51 | 211 | Progress-bar and spinner (text-based) | |
| programk | 2.0.31 | 96 | AIML 2.0 - Because an AIML Interpreter/Chatbot needed to exist in Prolog to! | |
| probat | 0.12 | 31 | probat - Property based testing Prolog programs. | |
| pro2sql | 0.1.01 | 21 | Lightweight translater of Prolog to SQL SELECT statements | |
| prism | 0.2.14 | 3026 | Run PRISM as a child process | |
| print_table | 0.0.52 | 491 | Formats and prints a table on the terminal screen | |
| predicate_streams | 3.0.323 | 18860 | Implement your own Abstract Predicate Streams | |
| ppm | 0.0.0 | 2 | A simple package manager for SWI-Prolog. | |
| pluuid | 2.0.0 | 19 | Generating and parsing version 4 UUIDs in Pure Prolog | |
| plumdrum | 0.0.63 | 2414 | Parsing of Humdrum/Kern symbolic music file format | |
| plstat | 1.01 | 2423 | plstat - Statistics with Prolog | |
| plsmf | 0.5.08 | 4026 | Standard MIDI File reading | |
| plrand | 0.9.1313 | 6948 | Skippable pseudorandom generator and distributions | |
| plplot | 0.0.13 | 6310 | A library to plot data using gnuplot. | |
| plosc | 0.4.66 | 5120 | OSC input/output via liblo | |
| plml | 2.0.316 | 4218 | Prolog-Matlab bridge | |
| plmidi | 0.7.07 | 4320 | Interface to Mac OS X MIDI system | |
| plmake | 0.0.31 | 1712 | Prolog makefile-like system | |
| pljulia | 0.1.417 | 701 | Embedded Julia for SWI Prolog | |
| plfann | 0.0.24 | 663 | SWI-Prolog for "Fast Artificial Neural Network Library" | |
| plcomplex | 0.33 | 285 | Simple calculation of complex numbers | |
| plcal | 0.0.55 | 471 | Programming Calendar | |
| plcairo | 1.1.14 | 12270 | plcairo - Prolog bindings for cairo graphics library | |
| plblas | 0.114 | 211 | lapack/armadillo binding for SWI-Prolog | |
| plasticsearch | 0.12 | 2826 | Elasticsearch client API | |
| planner_api | 1.1.1184 | 91 | planner_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use planners speaking PDDLish and OCLh | |
| plammar | 1.0.24 | 192 | Prolog parser and serialiser written in Prolog | |
| pl_owl | 0.1.0 | 9 | OWL utility predicates over rdf library | |
| pl_omdb | 0.5.08 | 3919 | API interface to OMDB (Open Movie Database) | |
| pl_mustache | 1.0.02 | 191 | Mustache | |
| pinyin | 0.1.55 | 2418 | Parsing and generation of Hanyu Pinyin | |
| phil_datasets | 1.07 | 444 | Dataset for machine learning with phil | |
| phil | 1.0.051 | 1601 | Learning Hierarchical Probabilistic Logic Programs | |
| pha | 0.1.22 | 2927 | Probabilistic Horn Abduction | |
| pfd_meta | 0.1 | 18 | Probabilistic finite domains meta-interpreter | |
| pfc | 3.0.359 | 1701 | Pfc -- a package for forward chaining in Prolog | |
| persist | 0.34 | 84 | Persists facts into a file | |
| perfunctory_types | 0.1 | 3 | Per-functor, static, polymorphic types | |
| pepl | 2.36 | 342 | Parameter estimation for SLP with the Failure Adjusted Maximisation algorithm. | |
| peg_syntax | 1.02 | 123 | PEG syntax for prolog | |
| pddl_valoptic_api | 1.1.118 | 1 | pddl_valoptic_api -- A SWI-Prolog Pack that lets Prolog code seamlessly use PDDL based planners. | |
| pcache | 0.1.0 | 18 | Persistent answer cache | |
| pascal | 1.05 | 291 | Probabilistc inductive constraint logic | |
| pager | 0.1.01 | 131 | Send output to user's preferred pager | |
| pack_errors | 2.26 | 11116 | Contextual error handling for packs. | |
| pac4pl | 0.11 | 121 | An SWI-Prolog interface to libPAC | |
| pac | 1.8.8122 | 2272 | Anonymous predicates expansion utility | |
| pPEG | 2.0.08 | 5231 | Pack to support parsing text using pPEG grammars | |
| os_lib | 1.510 | 10233 | Operating system interaction predicates. | |
| orgref_fix | 0.1.21 | 81 | Fix Org-ref citations. | |
| options | 1.510 | 11615 | Options handling. | |
| openapi | 0.2.16 | 1251 | OpenAPI (Swagger) interface | |
| open_dicts | 0.0.1 | 32 | Open dicts for SWI Prolog | |
| ontoweb | 0.0.41 | 98 | Show an ontology through a Web service. | |
| ontodot | 0.1.12 | 1512 | Create dot files from an RDF ontology. | |
| onepointfour_basics | 0.9 | 1 | Some basic predicates that may be useful. Includes a replacement of must_be/2 and a dict prettyprinter | |
| odict | 0.2.65 | 2722 | Unifier over feature structures based on attributed variables | |
| odf_sheet | 0.2.45 | 9628 | Load and analyze ODF spreadsheets (.ods) | |
| obo_ro | 0.0.1 | 15 | Vocab for OBO Relation Ontology | |
| obo_metadata | 0.0.43 | 224221 | RDF vocabulary for OBO metadata ontologies | |
| obo_core | 0.0.1 | 16 | Vocab for upper parts of core OBOs such as GO | |
| number_to_word | 0.4.25 | 3732 | Integer to English word conversions | |
| notes800 | 0.1.01 | 111 | Query phone number data from 800notes.com | |
| no_repeats | 1.1.1187 | 2213 | New ways to avoid duplicate solutions | |
| ninja | 0.2 | 4 | Ninja build system generator | |
| narsese | 2.0.31 | 42 | Narsese: Like OpenNARS in Prolog | |
| nanp | 0.1.01 | 1514 | phone numbers in the North American Numbering Plan | |
| nan_system_sources | 1.2.0 | 15 | Nan.System.Sources - Answer Sources in Prolog | |
| nan_numerics_prime | 1.2.54 | 7570 | Nan.Numerics.Prime - A simple prime number library | |
| nan_common | 1.22 | 3329 | Common operations (validation, etc.) | |
| mutable_variables | 1.0.0 | 26 | Mutable Variables | |
| must_trace | 1.1.11826 | 461 | Trace with your eyeballs instead of your fingers | |
| musicxml | 0.0.21 | 3028 | MusicXML partial reader | |
| musicbrainz | 0.7.021 | 5327 | Musicbrainz client library | |
| multimodal_dcg | 2.0.38 | 3711 | Reduce floundering of DCGs by constraining and narrowing search | |
| mtx | 0.65 | 5819 | Working with data matrices | |
| msgpackc | 0.2.14 | 6454 | C-Based MessagePack for SWI-Prolog | |
| msgpack | 0.1.64 | 3226 | DCG for packing & unpacking of MessagePack data to/from bytes | |
| mqtt | 1.0.52 | 8987 | mqtt - pub/sub pack for SWI-Prolog using mosquitto | |
| mpi | 1.05 | 341 | Porting of the LAMMPI library of Yap Prolog to SWI-Prolog | |
| morfeusz | 0.1.47 | 162 | Morfeusz2 bindings for SWI-Prolog. | |
| modeling | 1.0.11 | 64 | Constraint-based mathematical modeling library for Prolog. | |
| mlu | 0.53 | 744 | Machine learning utilities | |
| miser | 0.0.1 | 28 | Build self-optimizing predicates | |
| mime | 0.5.01 | 231 | MIME processing library based on maildrop | |
| midiutils | 0.0.31 | 98 | midiutils | |
| memo | 0.6.117 | 9544 | Persistent memoisation of deterministic predicates | |
| medikit | 0.0.76 | 71 | meditans' personal utilities | |
| maybe | 0.1.13 | 7370 | The maybe type represents an optional value | |
| mavis | 0.2.313 | 1,1032 | Optional type declarations | |
| matrix_utls | 1.11 | 2421 | Matrix utilities: Kronecker (Tensor), Hadamard, and matrices creation/multiplications | |
| matrix | 2.08 | 32259 | Operations with matrices | |
| mathml | 1.330 | 431 | Translates mathematical expressions to compounds that can be used by html//1 (SWISH) or html//3 (normal SWIPL, with pack http/html_write). | |
| markdown | 0.0.32 | 286149 | Markdown parser for SWI-Prolog | |
| mail_standards | 0.1.0 | 3 | Mail IMF and Maildir implementations. | |
| mail_merge | 1.0.01 | 191 | Library for performing mail merge | |
| lsp_server | 2.2.1129 | 1,690122 | A Prolog LSP Server | |
| lps_corner | 2.0.33 | 188 | LPS Corner with SWISH and Dialect | |
| loop_check | 1.1.11810 | 132 | New simple loop checking | |
| logtalk | 3.77.0105 | 9245 | Logtalk - Object-Oriented Logic Programming Language | |
| logicmoo_workspace | 2.0.32 | 31 | LogicMOO Workspace -- The pack that installs the Logicmoo IDE and WebUI | |
| logicmoo_webui | 2.0.39 | 251 | LogicMOO - The pack that installs the WebUI | |
| logicmoo_utils | 3.1.557 | 14621 | Common predicates that are used throughout LogicMOO Software | |
| logicmoo_planners | 1.1.1182 | 84 | Various Hybrid HTN Planners speaking PDDLish and OCLh | |
| logicmoo_nlu | 2.0.326 | 891 | Various English to Logic Converters - warning: HUGE amount of lexical and test data | |
| logicmoo_nars | 2.0.31 | 123 | Narsese: Like OpenNARS in Prolog | |
| 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_cg | 2.0.36 | 226 | Conceptual Graph (CG) Libraries in Prolog and test data | |
| logicmoo_base | 2.0.348 | 903 | LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints | |
| log4p | 0.0.94 | 20753 | Logging for Prolog | |
| list_util | 0.13.019 | 3,6341 | Predicates for working with lists | |
| link_grammar_prolog | 4.1.0.32 | 5248 | A binding to use the Link Grammar library from SWI-Prolog | |
| liftcover | 0.120 | 492 | A Probabilistic Indutive Logic Programming system | |
| libssh | 0.9.23 | 9141 | Provide an embedded SSH server | |
| 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 | |
| lib | 2.1018 | 449 | Predicate based code development | |
| ldap4pl | 0.11 | 4039 | LDAP interface | |
| lcs | 0.0.1 | 45 | Longest common subsequence | |
| lbfgs | 2.017 | 808 | An interface to call libLBFGS from within SWI-Prolog | |
| lazy_streams | 0.5.0 | 18 | Lazy Stream Generators | |
| languages_bot | 0.0.11 | 1511 | A chatbot that talks with the user to recommend some programming language | |
| lambda_abstractions | 0.2.11 | 5554 | Lambda abstractions | |
| kubepl | 0.11 | 1714 | Kubernetes Client | |
| k8s_client | 1.1.04 | 229 | kubernetes API client with watcher functionality | |
| jwt_io | 0.0.34 | 5835 | JWT implementation | |
| julian_lang_en | 0.0.21 | 5049 | Parse English language phrases into library(julian) constraints | |
| julian | 0.1.37 | 71914 | Date and time library | |
| json_answer | 0.33 | 125 | Convenience module to convert a prolog query into a JSON answer | |
| jolog | 0.0.31 | 4939 | Concurrency via join calculus | |
| irc_client | 1.3.09 | 6340 | Low level interface to IRC clients | |
| interval | 0.14 | 92 | Interval arithmetic for SWI-Prolog | |
| interpolate | 0.1.02 | 991 | String interpolation | |
| instant_prolog_docs | 2.0.3114 | 381 | Magically document prolog source files based on predicate and variable naming conventions | |
| inotify | 0.9.11 | 7372 | Access Linux inotify API to watch file system changes | |
| indexed_terms | 1.0.0 | 19 | Positional access to terms' arguments | |
| index_util | 0.0.21 | 256249 | Prolog index utils | |
| imodule | 0.0.1 | 1 | Support for modules from the server. | |
| identity | 0.2.2 | 21 | Registration, login, and role management | |
| ical | 0.1.0 | 9 | iCalendar DCGs and parsers | |
| httplog | 0.5.01 | 253 | Analyse SWI-Prolog HTTP server log files | |
| http2_client | 1.0.06 | 5647 | An HTTP/2 client | |
| hook_hybrid | 1.1.11812 | 153 | Hook assert retract call of *specific* predicates | |
| hilog | 1.1.1181 | 1816 | XSB-Prolog's Hilog Syntax in SWI-Prolog | |
| hello_world | 0.1 | 18 | Hello World pack as a test | |
| hdt | 0.5.38 | 733 | Access RDF HDT files | |
| hashtbl | 0.0.21 | 5352 | Pure and impure hash tables | |
| gvar_syntax | 2.0.318 | 12468 | Global Variable Syntax | |
| graphql-swipl | 0.0.1 | 1 | GraphQL Prolog Library | |
| graphql | 0.0.1 | 41 | GraphQL Prolog Library | |
| graphpl | 0.1.16 | 472 | Graph data structure utilities | |
| gpc | 1.2.03 | 8634 | Generic polygon clipper | |
| googleclient | 0.5.23 | 3311 | SWI-Prolog code for "Login with Google" | |
| geoip | 0.9.01 | 333 | Access GeoIP library | |
| genutils | 0.3.823 | 12069 | General miscellaneous utilities | |
| gbn | 0.21 | 1615 | BNs for large cohort genomic studies. | |
| format_spec | 0.0.21 | 4645 | Parse and check format/2 specifications | |
| fnotation | 1.0.05 | 8915 | Function notation for Prolog | |
| flux | 1.1.118 | 41 | 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. | |
| fluents | 0.1.21 | 2817 | Access all solutions of a goal without backtracking | |
| fld | 1.2.26 | 553 | Object system that allows easy and efficient access to term arguments by name. | |
| fine_upload | 0.2.05 | 299 | HTTP support for file uploading | |
| fileutils | 0.3.510 | 9840 | Utilities for reading, writing and finding files | |
| files_extras | 0.1.02 | 382 | Few extra predicates for traversing folders and simplifying work with file system | |
| file_utilities | 0.1 | 36 | File system related utilities | |
| file_scope | 1.1.1185 | 191 | File local scoped efects | |
| ffimatrix | 0.1.010 | 851 | Operations with matrices using Prolog and C | |
| ffi | 0.57 | 15872 | Dynamically call C functions | |
| fcgi | 0.9.0 | 37 | fcgi - Fast Common Gateway Interface (FastCGI) library for Prolog | |
| execution_context | 0.2.04 | 4817 | Allows to retrieve setting from execution environment, given flexibility over setting/2, get_env, or command line configuration | |
| excel_worksheets | 0.3.05 | 61 | Excel reader of worksheets cell values into prolog terms | |
| environ | 2.01 | 21234 | Demo package with C code, fetching the program environment | |
| eggdrop | 2.0.321 | 421 | Hook up to an existing IRC Client called an Eggdrop | |
| each_call_cleanup | 1.1.11810 | 271 | Each Call Redo Setup and Cleanup | |
| dynworks | 1.3.26 | 10626 | Dynamic multi-dimensional arrays and vectors | |
| dpath | 0.7.36 | 517 | Directory traversal module | |
| dotcloud | 0.0.21 | 3226 | Conveniences for running on dotCloud | |
| dot_dcg | 0.1.04 | 271 | A DCG for a subset of the DOT language | |
| docstore | 2.0.26 | 20243 | Document-oriented database for Prolog | |
| djson | 0.0.32 | 151145 | Declarative JSON | |
| disp_bn | 0.1 | 15 | Construct and display BN terms via graphviz | |
| dirtree | 1.0.13 | 3921 | Load XML of directory content. | |
| dictype | 0.0.2 | 22 | Concise dict type definitions | |
| dictoo | 3.1.329 | 19034 | Dict-like OO Syntax | |
| dict_schema | 0.0.21 | 128125 | Dict converter and validator | |
| dialect-ciao | 0.0.1 | 1 | Ciao Prolog compatibility library | |
| diagnostics | 0.2.03 | 8367 | SWI-Prolog source code diagnostics library | |
| dia | 0.1 | 45 | An interface to .dia-uml-diagrams | |
| delay | 0.3.37 | 8456 | Avoid instantiation errors for built-in predicates | |
| debug_call | 1.57 | 7513 | Debugging with calls | |
| debug_adapter | 0.7.228 | 12947 | Debug Adapter Protocol package for SWI-Prolog | |
| ddebug | 0.11 | 1412 | Declarative Debugger | |
| dcgutils | 1.1.311 | 558459 | DCG related utilities | |
| dcg_tools | 0.0.32 | 31 | Battery included bidirectional dcg parsing | |
| dcg_extras | 0.1 | 5 | Dcg extras | |
| dcg4pt | 1.0.04 | 8359 | DCG for Parse Trees | |
| db_facts | 0.55 | 295181 | Common db-tables-as-facts and SQL layer for ODBC and proSQLite. | |
| ct_fft | 0.0 | 1 | Cooley–Tukey FFT algorithm | |
| css_write | 1.4.06 | 574 | DCG for generating CSS | |
| cplint_r | 1.0.015 | 10158 | R plotting predicates for cplint | |
| cplint_datasets | 1.0 | 82 | Dataset for machine learning with cplint | |
| cplint | 4.5.0215 | 1,0482 | A suite of programs for reasoning with probabilistic logic programs | |
| coworkers | 0.1.0 | 20 | Workflow definition as tree of coroutines | |
| cosmos | 0.3612 | 264 | <no title> | |
| consul_client | 0.0.42 | 1916 | Consul Client | |
| condition | 0.1.13 | 6957 | Condition system a la Common Lisp | |
| clpcd | 0.0.12 | 276 | Constraints over continuous domains | |
| clpBNR | 0.11.527 | 480282 | CLP over Reals using Interval Arithmetic - includes Rational, Integer and Boolean domains as subsets. | |
| clitable | 1.0.87 | 5324 | Pretty unicode tables for the CLI with Prolog | |
| cli_table | 1.0.10 | 47 | Pretty unicode tables for the CLI with Prolog | |
| clause_attvars | 1.1.1187 | 211 | An alternate interface to the clause database to allow attributed variables to be asserted | |
| ciao | 0.0.11 | 2313 | Ciao Prolog compatibility library | |
| chess_db | 1.03 | 5826 | PGN and chess game databases. | |
| chat80 | 1.11 | 8463 | Classic CHAT80 Prolog natural language application | |
| chan | 0.2.0 | 35 | Directional channels for thread communication | |
| ccprism | 0.1.020 | 6640 | Probabilistic programming using delimited continuations | |
| cclab | 0.1.513 | 3922 | Continuations lab | |
| canny_tudor | 0.23.225 | 11322 | Canny bag o' Tudor | |
| call_cleaup_each | 0.0.1 | 1 | Call A Goal On Each Redo | |
| by_unix | 0.22 | 9229 | An elegance layer to calling unix commands. | |
| bousi_pack | 1.0.03 | 331 | On my way to a SWISH enabled BPL - a FLI exercise | |
| body_reordering | 2.0.36 | 3418 | Clause expansion Utils for deciding which order to run Goals in a body | |
| blog_core | 1.6.324 | 1266 | Blog/CMS framework | |
| biomake | 0.1.512 | 457 | Prolog makefile-like system | |
| bio_db_repo | 24.4.523 | 661 | Data package for bio_db. | |
| bio_db | 4.530 | 1071 | Access, use and manage big, biological datasets. | |
| bio_analytics | 0.65 | 332 | Computational biology data analytics. | |
| bims | 3.08 | 967 | Bayesian inference of model structure. | |
| bibtex | 0.1.83 | 3222 | Parser and predicates for BibTeX files | |
| bencode | 0.0.1 | 58 | Bencoding from BitTorrent protocol | |
| bddem | 4.3.124 | 2582 | A library for manipulating Binary Decision Diagrams | |
| b_real | 1.09 | 635 | Interface predicates to commonly used R functions. | |
| automake | 0.2.514 | 6620 | Automake | |
| auc | 1.011 | 2022 | Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves | |
| atom_feed | 0.2.04 | 10288 | Parse Atom and RSS feeds | |
| assertions | 0.0.142 | 761 | Ciao Assertions Reader for SWI-Prolog | |
| arouter | 2.0.05 | 23454 | Alternative HTTP path router | |
| arithmetic_types | 0.0.54 | 333 | Support for user defined types in arithmetic expressions | |
| app | 0.1 | 12 | Prolog Application Server | |
| ape | 6.7.1807151 | 541 | Parser for Attempto Controlled English (ACE) | |
| aop | 0.0.99 | 781 | Opinonated aspect-oriented programming for prolog | |
| anti_unify | 0.54 | 146 | Anti-unification. anti_unify/3 is intended as a relational drop-in replacement for term_subsumer/3. | |
| ansi_termx | 0.0.1 | 33 | ANSI terminal operations | |
| amazon_api | 0.0.32 | 8477 | Interface to Amazon APIs | |
| aleph | 523 | 5131 | Aleph Inductive Logic Programming system | |
| achelois | 0.5.07 | 7,549210 | Collection of tools to make writing scripts in Prolog easier. | |
| abbreviated_dates | 0.0.392235 | 2,488121 | Parses abbreviated and ambiguous dates in multiple languages |