|
About the Tools category
|
|
0
|
155
|
February 27, 2020
|
|
How to display goal line number with trace (not gtrace)?
|
|
1
|
33
|
January 22, 2022
|
|
Local use of Notebooks (and some casual observations)
|
|
6
|
95
|
January 12, 2022
|
|
Plunit and individual test setup/cleanup
|
|
8
|
70
|
January 8, 2022
|
|
Plunit fixme and assertion/1
|
|
1
|
62
|
January 8, 2022
|
|
4/72 Test #2: swipl:basic ......................***Failed
|
|
5
|
92
|
December 15, 2021
|
|
How do I make XPCE?
|
|
2
|
74
|
December 15, 2021
|
|
Customizing tab behavior for "%" comment in prolog-mode (emacs)
|
|
3
|
303
|
December 11, 2021
|
|
Is it possibly to open the help in a separate X11 window plus how do I start the Navigator?
|
|
5
|
87
|
September 27, 2021
|
|
Help window in terminal
|
|
7
|
280
|
September 11, 2021
|
|
I/O on Swish
|
|
3
|
113
|
August 18, 2021
|
|
Odd behaviour with ?- expects_dialect(sicstus)
|
|
9
|
173
|
August 1, 2021
|
|
Are there any Swi-Prolog COM or ActiveX components?
|
|
4
|
171
|
July 28, 2021
|
|
The existentially quantifying
|
|
2
|
142
|
June 11, 2021
|
|
Anyone written a version of `term_html:term//2` that writes the term in an expandable/collapsible tree?
|
|
9
|
186
|
May 30, 2021
|
|
Can't create mingw Docker container?
|
|
4
|
203
|
May 20, 2021
|
|
Automatically linking "library(this and that)" in Discourse to the docs
|
|
3
|
122
|
May 7, 2021
|
|
Automated testing?
|
|
1
|
161
|
April 15, 2021
|
|
How can I use a library from github?
|
|
5
|
243
|
March 15, 2021
|
|
Swish and unit tests?
|
|
0
|
129
|
March 8, 2021
|
|
Emacs not handling ctrl-d correctly for closing [user]
|
|
2
|
164
|
March 4, 2021
|
|
Setting the locale for Eclipse PDT on OS X
|
|
0
|
124
|
March 2, 2021
|
|
JPL: error after consulting a file not throwing exception
|
|
1
|
191
|
March 1, 2021
|
|
Problems with ISO modules
|
|
2
|
170
|
February 12, 2021
|
|
Pack_install/1 failing
|
|
8
|
317
|
December 26, 2020
|
|
SWI-Prolog loses prompt in Emacs
|
|
18
|
482
|
December 15, 2020
|
|
Fixing/Adding a bibliogaphy in the SWI-Prolog manual
|
|
6
|
297
|
December 14, 2020
|
|
Debugging aggregations in place
|
|
7
|
205
|
November 27, 2020
|
|
Ninja and updated CMAKE
|
|
4
|
252
|
November 25, 2020
|
|
How do I install the Triple20 Ontology Editor on Linux?
|
|
2
|
233
|
November 25, 2020
|
