Did you know ... | Search Documentation: |
Profile for user Jan Wielemaker |
In particular on Unix-like systems, the web-server toplevel is typically provide ... | |
Sec. 7 | If you table predicates with infinitely many solutions you simply run out of (ta ... |
wildcard_match/2 | Note that - The pattern is compiled first. |
phrase_from_stream/2 | Recent versions of this library do not use repositioning but use non-backtrackab ... |
Sec. A.4.3 | Use assoc_to_keys/2 and length/2 |
current_stream/3 | You do not need current_stream/3 for that: ``` ?- stream_property(X, file_no(2)) ... |
file_search_path/2 | No. |
`octet` should have worked as it should imply `binary`. | |
?=/2 | You forgot the negative side. |
print_message/2 | There is no restriction on Term as long as there is a grammar rule that accepts ... |
Thanks. | |
access_file/2 | The access_file/2 predicate is broken on Windows. |
phrase_from_stream/2 | The stream must have the `reposition` property (see stream_property/2). |
http_status_reply/4 | Users should *not* call this predicate directly (or in fact any other predicate ... |
flatten/2 | Indeed. |
min_member/2 | This is a general property of predicates that depend on the standard of terms wh ... |
load_html/3 | HTML is often illegal. |
Sec. 4.6.1 | I think that ISO only guarantees that variables that are not unified to each oth ... |
Sec. 4.24.2 | For example (note that =|\n|= is a newline): ?- normalize_space(atom(Out), ' \nh ... |
callable/1 | The footnote supports that. |
Thanks. | |
uuid/2 | SWI-Prolog's library(uuid) is based on the [OSSP library](http://www.ossp.org/pk ... |
term_factorized/3 | Note that the results of this predicate are independent from the actual sharing ... |
rdf_meta/1 | @see [Howto](</howto/UseRdfMeta.txt>) for a more in-depth discussion and example ... |
pack_install/1 | pack_install/1 requires the archive package installed. |
term_hash/2 | The predicates term_hash/2 and term_hash/4 are typically used to add indexable a ... |
This page should point at the options to use the browser. | |
Sec. 5.4.3 | should be get_assoc/3 and dict_pairs/3. |
Sec. A.7 | Replace with PlDoc comments; the manual version is way outdated. |
Needs updating. | |
Sec. 4.13 | @see library(dcg/basics) for rules parsing and generating numbers, identifiers, ... |
copysign/1 | Must be /2 |
message_queue_property/2 | The existence of a _named_ queue can be tested without generating an exception u ... |
put_byte/1 | Note that put_byte/1 can only be used with a _binary_ stream. @see open/4, set_s ... |
http_parameters/3 | POST data is read using http_read_data/3. |
http_parse_header/2 | @see http_parameters/3 for deatils |
Sec. 3.6 | @see [SWI-Prolog IDE --- Prolog Navigator](</navigator.txt>) |
format/2 | Use the format string below to realize zero-padded integers. |
repeat/0 | repeat/0 is commonly used for _failure driven_ loops, for example to read data. |
current_stream/3 | @deprecated New code should use the ISO predicate stream_property/2 |
The new [Janus](https://www.swi-prolog.org/pldoc/package/janus.html) package all ... | |
SWI-Prolog 9 has arrived -- On November 24, 2022, SWI-Prolog 9 has been released. | |
SWEEP: A SWI-Prolog mode for GNU-Emacs based on semantic analysis by Prolog -- Good editing support for Prolog is hard due to the lack of _keywords_, _types_ a ... | |
Prolog celebrates its 50 year anniversary! -- The Prolog language as started by Alain Colmerauer has reached the age of 50. | |
s(CASP) + SWI-Prolog = 🔥 -- Jason Morris posted a very nice blog post on [using s(CASP) with SWI-Prolog and ... | |
SWI-Prolog 8.2.0 (stable) released -- After almost a year development a new stable version has been made available. SW ... | |
DataChemist sponsors development machine -- [DataChemist](https://www.datachemist.com/), the developer of [TerminusDB](https ... | |
Kyndi’s secret sauce is a decades-old programming language called Prolog -- Kyndi raised $20M using Prolog as secret sauce. | |
SWI-Prolog 8.0 available for download -- The SWI-Prolog 8.0 major release marks mostly a milestone for the internals, sta ... | |
SWI-Prolog on Android Termux -- The migration to CMake has motivated the github user _erlanger_ to port SWI-Prol ... | |
Sam Neaves successfully defends LP in Bioninformatics PhD thesis -- In late September 2018, Sam Neaves defended his thesis titled "Explorations in L ... | |
Wouter Beek earned cum laude PhD! -- Wouter Beek successfully defended his thesis "The ‘K’ in ‘Semantic Web’ stands f ... | |
SWI-Prolog on WebAssembly in your browser and Node.js -- Raivo Laanemets ported SWI-Prolog to WebAssembly using [Emscripten](https://gith ... | |
7.7.3/7.6.2 released -- The versions 7.6.2 (stable) and 7.7.3 (development) have been released. | |
Version 7.6.1 released -- Version 7.6.1 has been released. | |
7.6.0-rc1 available -- Stable release version 7.6.0-rc has been uploaded. | |
Fast cars and Prolog -- Now the dust has mostly settled for me, I thought people here might be intereste ... | |
SWI-Prolog 7.4.0 release candidate -- After about 18 months SWI-Prolog is almost ready for its next stable version. | |
Doxygen plugin (helper) for Prolog -- I received an announcement from _Dr Beco_ that he wrote a plugin (helper) for th ... | |
SWI-Prolog 7.2.0 is available for download. | |
UCSD Students Contributing to SWI-Prolog -- The University of California San Diego is sponsoring a group of nine computer sc ... | |
Call for help: Oauth 2.0 and OpenID Connect -- After getting a message that Google will discontinue plain OpenID `login-with-go ... | |
Learn Prolog Now! with embedded SWISH -- I'm very pleased that [Learn Prolog Now!](http://www.learnprolognow.org/) and SW ... | |
Mike Elson and Matt Lilley contributed CQL: a high-level database interface -- CQL is a powerful high level abstraction of SQL queries. | |
Todo-Backend: a shared example to showcase backend tech stacks -- I have submitted a showcase implementation for [Todo-Backend: a shared example t ... | |
Markus Triska added clp(b) to SWI-Prolog -- Markus Triska, the author of SWI-Prolog's clp(fd) library, contributed a boolean constraint library, [library(clpb)](</pldoc/man?section=clpb>). | |
SWI-Prolog supports websockets -- As of version 7.1.19, SWI-Prolog provides support for websockets. | |
New edition of the SWI-Prolog manual as book -- The SWI Prolog Manual 7.1 in book form is now available worldwide. | |
SWISH meets clp(fd) -- The SWISH web application (SWI-Shell or SWI for Sharing, depending on your taste ... | |
Ann: SWI-Prolog 7.1.14 -- I have uploaded SWI-Prolog 7.1.14. | |
Primary git repository moved to GitHub -- The primary git repository has been moved from [www.swi-prolog.org](</git/>) to ... | |
The mailing list moved to Google groups -- The SWI-Prolog mailinglist has been turned into a Google Group. | |
SWI-Prolog's source on GitHub -- I'm moving the SWI-Prolog sources from www.swi-prolog.org to github. | |
On January 29, Markus Triska successfully defended his PhD thesis titled [Correc ... | |
Pengines: Web Logic Programming Made Easy -- Pengines is short for Prolog Engines. | |
New website -- The [SWI-Prolog](http://www.swi-prolog.org) website runs on SWI-Prolog for about 6 years. It grew out of a big mess the site was before then. |
Pack
tot: 27
| Version
(#older)
| Downloads
tot: 2,778
(#latest) | Rating
(#votes/
#comments) | Title |
---|---|---|---|---|
smtp | 1.1.06 | 37827 | An (E)SMTP client for sending mail | |
graphml | 0.1.0 | 149 | Write GraphML files | |
webconsole | 0.9.11 | 104103 | Use a browser as HTML console | |
gvterm | 1.11 | 230199 | Show Prolog terms using graphviz | |
wsdl | 0.1 | 102 | Web Service Description Language (WSDL) and SOAP | |
wordnet | 0.9.34 | 20560 | Access to WordNet database | |
small_adventure_games | 1.1.8 | 1 | Small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
scasp | 1.1.430 | 14612 | Goal directed ASP solver | |
rserve_client | 1.1.418 | 931 | R Rserve client | |
rocksdb | 0.14.312 | 1201 | SWI-Prolog interface to RocksDB | |
resbound | 0.8.11 | 4241 | Run goal with resource bounds | |
recaptcha | 0.9.22 | 7469 | reCAPTCHA plugin for SWI-Prolog HTTP framework | |
prologmud_I7 | 1.2.11112 | 333 | PrologMUD I7 (NomicMU!) with small Adventure Games in Prolog using the CHAT80 Prolog natural language application | |
pcache | 0.1.0 | 18 | Persistent answer cache | |
openapi | 0.8.010 | 1353 | OpenAPI (Swagger) interface | |
odf_sheet | 0.2.45 | 9830 | Load and analyze ODF spreadsheets (.ods) | |
mime | 0.5.01 | 241 | MIME processing library based on maildrop | |
libssh | 0.9.23 | 13585 | Provide an embedded SSH server | |
iso4217 | 1.0.0 | 1 | Access ISO 4217 currency codes | |
inotify | 1.0.02 | 761 | Access Linux inotify API to watch file system changes | |
httplog | 0.5.01 | 263 | Analyse SWI-Prolog HTTP server log files | |
hdt | 0.5.49 | 774 | Access RDF HDT files | |
googleclient | 0.5.23 | 3611 | SWI-Prolog code for "Login with Google" | |
geoip | 0.9.01 | 333 | Access GeoIP library | |
fine_upload | 0.2.05 | 3010 | HTTP support for file uploading | |
ffi | 0.88 | 17711 | Dynamically call C functions | |
environ | 2.01 | 23557 | Demo package with C code, fetching the program environment |
Showing 3 reviews, sorted by date entered, last review first.
Really nice way to run SPARQL queries. With support for concurrency and auto paging this can be used for large scale federated processing of RDF. Fits great with ClioPatria's SWISH plugin. Two small points:
filter(Filter)
term?Note that the 6.3 development versions allow for large integers using digit groups. These groups are separated by a single space or a an underscore followed by arbitrary white space. For example
:- set_prolog_stack(global, limit(10 000 000 000)).
This practically makes this pack redundant for SWI-Prolog. It is still a useful work around for older versions and other Prolog systems.
Great stuff! I managed to rewrite Ciao lpdoc documentation into PlDoc quite easily. It would be great to have some more documentation though!
Had to manually install the
assertions
pack.