Did you know ... Search Documentation:
Profile for user LogicalCaptain

Tags by LogicalCaptain

coroutinesSec. 4.10
deprecatedlibrary_directory/1, reconsult/1
doc-needs-helpis_of_type/2, assertion/1, , memberchk/2, cyclic_term/1, [wiki] Wiki page at "FAQ/reconsult.txt", ?=/2, dif/2, ==/2, Sec. A.46, [wiki] XPCE: the SWI-Prolog native GUI library, [wiki] Fix incomplete installation due to missing dependencies, [wiki] SWI-Prolog future directions, [wiki] Program Development Tools, call/1, format/2, Sec. 2.12, Sec. 2.17.1, maplist/2
docs-needs-helpSec. 4.1

Comments by LogicalCaptain

format/2It should be noted that format/x errors out of it doesn't find enough argument t ...
read/1This corresponds to "deserialization" in Java.
Sec. A.1The "foreach" example is confusing because "dif/2" freezes until a decision can ...
maplist/2At https://www.swi-prolog.org/pldoc/doc_for?object=convlist/3 A Prologified lamb ...
maplist/2Note that this predicate is best when you have to work on each list element by i ...
maplist/3As for maplist/2: verify(A,B,C) :- format("Received A = ~w, B = ~w, C = ~w\n",[A ...
maplist/2*Example to explain maplist/2* verify/2: if the first argument is known, check t ...
Sec. 4.7Note that "==" and "\==" are really tests about the current state of the computa ...
Sec. 2.12I tried to make an overview table of the behaviour of "double quotes".
Sec. 2.1"Getting started quickly" should point the user to a description of Prolog in su ...
Sec. 2.17.1.8See also: https://eu.swi-prolog.org/pldoc/man?section=widechars
Sec. 2.12For "double_quotes": "This flag determines how double quoted strings are read by Prolog and is ---like character_escapes and back_quotes--- maintained for each module." Better: "...scoped to each module, which means that the interpretation of the source code of the module is read according to the value of that flag." (although, thinking a bit about this, when you call foo("xyz") of a predicate from a module that has the "double_quotes" flag set to "chars", will that predicate be called with a list of characters instead of a String?
Sec. 2.17.1The title of this section is "ISO Syntax Support" but should probably be "Extens ...
Documentation==Comments for future reviews of these pages: I find the current documentation s ...
Sec. 2.17.1.5This is not ISO Prolog, but quite useful. Compare with Java where this trick is ...
findall/3findall/3 does not deal well with free variables.
Sec. 2.12"answer_write_options" is somehow lost in between toplevel_print_factorized and ...
Sec. 5.2.1Regarding the traditional "string": Wikipedia says at https://en.wikipedia.org/w ...
format/2"If only one argument is required and this single argument is not a list, the ar ...
Sec. 4.1Searching for "mode flag" or "mode indicator" does not bring up this page in the search results, but should.
call/1The text should probably be changed from Note that clauses may have variables as subclauses, which is identical to call/1. to Note that clauses may have variables as goals.
[wiki] Program Development ToolsThere is nothing for IntelliJ JetBrains plugin repository: https://plugins.jetbr ...
[wiki] Program Development ToolsCurrently trying "ProDT"... Trying with Eclipse Oxygen (Eclipse 4.7, 2017-12) on Linux Fedora with JDK 1.8.0 The original site is http://prodevtools.sourceforge.net/ - the instructions on that site are a bit stale.
[wiki] Program Development ToolsThe link to "Prolog Development Tool - PDT" and the link to "Prolog Development ...
[wiki] SWI-Prolog future directionsIt might be helpful to indicate when this entry was written.
[wiki] Fix incomplete installation due to missing dependenciesDead link in the line "Redo the build.
[wiki] Wiki page at "build/issues/xpce.txt"Compiling on Fedora: At first sight, the error log seems to indicate that there ...
Sec. A.46Finally, there is the package http://eu.swi-prolog.org/pack/file_details/lambda/ ...
[wiki] XPCE: the SWI-Prolog native GUI librarySadly, the link The design of the XPCE/Prolog interface (Publication in Workshop on Logic Programming Environments, 2002) http://hcs.science.uva.nl/projects/SWI-Prolog/articles/wlpe-02.pdf is dead. However, there is https://arxiv.org/abs/cs/0207053 - "An Architecture for Making Object-Oriented Systems Available from Prolog"
Sec. A.46Please add the live link to "maplist:" http://eu.swi-prolog.org/pldoc/doc_for?ob ...
bagof/3At http://eu.swi-prolog.org/pldoc/man?section=yall the text says that the Var^Go ...
^/2Outside of arithmetic contexts, the ^/2 operator is used to mark variables as "n ...
dif/2(I'm sorry this Markit up!
==/2Confusingly, the explanations used two adjectives: "equivalent" and "identical".
?=/2I think the text "Succeeds if the syntactic equality of Term1 and Term2..." shou ...
[wiki] Wiki page at "FAQ/reconsult.txt"The link to "Initialising and Managing.." has to be changed to http://www.swi-pr ...
cyclic_term/1What is the cost of detecting that a term is cyclic (a rational tree).
memberchk/2This predicate does not backtrack: ?- findall(X, memberchk(X, [one,two,three]), ...
Sec. 5See also http://eu.swi-prolog.org/pldoc/man?section=preddesc from the reference ...
Sec. 4.1See also the description in the package of the Prolog documentation generator: h ...
Sec. A.4.3Actually missing a way to get the number of elements in the association list...
Reference manualFor a gentle introduction http://www.learnprolognow.org/ by Patrick Blackburn, J ...
Genius! The index is messed up though
assertion/1===The links here don't work. They should go to http://eu.swi-prolog.org/pldoc/d ...
call/2In this context, the following, though rather old, is highly readable: "Higher-o ...
is_of_type/2This is _probably_ an alias for must_be/2 ? No, wait it does not throw as does m ...
file_search_path/2Thanks @Jan.
[wiki] Representation and printing of floating point numbersAnd here is the [reference for floating-point notation](http://www.dcc.fc.up.pt/ ...
[wiki] Representation and printing of floating point numbersHere is a another link of interest that predigests the "What Every Computer Scie ...
file_search_path/2The definition should be "file_search_path(?Alias, ?Path)" as the following work ...