| 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: 38
| Version
(#older)
| Downloads
tot: 11,979
(#latest) | Rating
(#votes/
#comments) | Title |
|---|---|---|---|---|
| list_util | 0.13.019 | 3,6571 | Predicates for working with lists | |
| tap | 1.0.326 | 2,31011 | Automated tests via Test Anything Protocol | |
| regex | 0.3.311 | 1,7591,364 | Regular expressions | |
| mavis | 0.2.313 | 1,1032 | Optional type declarations | |
| julian | 0.1.37 | 72114 | Date and time library | |
| func | 0.4.28 | 383251 | Function application and composition | |
| spawn | 0.0.1 | 190 | Easy concurrency | |
| quickcheck | 0.3.017 | 1642 | QuickCheck randomized testing | |
| djson | 0.0.32 | 151145 | Declarative JSON | |
| dcg_util | 0.3.13 | 14728 | DCG utility predicates | |
| function_expansion | 0.1.24 | 1175 | Help for writing function-like macros | |
| atom_feed | 0.2.04 | 10288 | Parse Atom and RSS feeds | |
| interpolate | 0.1.02 | 1001 | String interpolation | |
| delay | 0.3.37 | 8456 | Avoid instantiation errors for built-in predicates | |
| amazon_api | 0.0.32 | 8477 | Interface to Amazon APIs | |
| sweet | 0.1.13 | 7873 | Sugar to make Prolog a little sweeter | |
| maybe | 0.1.13 | 7370 | The maybe type represents an optional value | |
| condition | 0.1.13 | 6957 | Condition system a la Common Lisp | |
| bencode | 0.0.1 | 58 | Bencoding from BitTorrent protocol | |
| roman | 0.1.0 | 52 | Roman numerals | |
| julian_lang_en | 0.0.21 | 5049 | Parse English language phrases into library(julian) constraints | |
| jolog | 0.0.31 | 4939 | Concurrency via join calculus | |
| format_spec | 0.0.21 | 4645 | Parse and check format/2 specifications | |
| web | 0.1.11 | 4542 | Easy web client | |
| lcs | 0.0.1 | 45 | Longest common subsequence | |
| semantria | 0.0.43 | 4030 | Use Semantria natural language API | |
| uri_qq | 0.3.03 | 3928 | URI quasiquotations | |
| thousands | 0.2.03 | 3530 | Thousands separator for large integers | |
| chan | 0.2.0 | 35 | Directional channels for thread communication | |
| dotcloud | 0.0.21 | 3226 | Conveniences for running on dotCloud | |
| readability_parser | 0.0.43 | 3122 | Readability Parser API | |
| unified_diff | 0.0.1 | 28 | Parse and generate unified diffs | |
| miser | 0.0.1 | 28 | Build self-optimizing predicates | |
| tidylog | 0.0.1 | 19 | ||
| term_diff | 0.0.11 | 1614 | ||
| nanp | 0.1.01 | 1514 | phone numbers in the North American Numbering Plan | |
| pager | 0.1.01 | 131 | Send output to user's preferred pager | |
| notes800 | 0.1.01 | 111 | Query phone number data from 800notes.com |