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.40, [wiki] XPCE: the SWI-Prolog native GUI library, [wiki] Fix incomplete installation due to missing dependencies, [wiki] SWI-Prolog future directions

Comments by LogicalCaptain

[wiki] SWI-Prolog future directionsIt might be helpful to indicate when this entry was written.
[wiki] SWI-Prolog -- Installation on Linux, *BSD (Unix)Here is a little flowchart I created earlier describing the build process https: ...
[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 ...
[wiki] SWI-Prolog -- Installation on Linux, *BSD (Unix)Note that you cannot ./configure --prefix=$MYPATH where $MYPATH contains an elem ...
Sec. A.40Finally, 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.40...but this shift is not worse as the one found in Lambda-Prolog :-)
Sec. A.40Please 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.3.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 ...