About the Tools category
|
|
0
|
297
|
February 27, 2020
|
Problems with Sweep
|
|
4
|
167
|
May 28, 2023
|
Status of Triple20 & ClioPatria
|
|
9
|
182
|
May 4, 2023
|
Solved. XPCE Tools no longer work after upgrading os OSX Ventura
|
|
2
|
119
|
April 28, 2023
|
Difficulty installing SWEEP
|
|
11
|
273
|
April 24, 2023
|
Connecting to sqlite3 with ODBC: choosing a database file?
|
|
3
|
318
|
March 19, 2023
|
JPL: error after consulting a file not throwing exception
|
|
5
|
679
|
February 27, 2023
|
XPCE standalone executable (Windows 10)
|
|
8
|
665
|
August 18, 2022
|
Try using C++ interface but files dosen't compile well
|
|
0
|
179
|
June 21, 2022
|
ClioPatria... a few questions regarding its state and capabilities
|
|
0
|
224
|
June 6, 2022
|
Can swipl.exe load library(pce)?
|
|
4
|
459
|
May 6, 2022
|
Execlp: No such file or directory
|
|
1
|
783
|
April 20, 2022
|
Set the tmp directory of a Prolog program?
|
|
2
|
286
|
April 13, 2022
|
Logtalk; grpolog not found
|
|
2
|
284
|
March 7, 2022
|
Improving Beckert's & Posegga's in Prolog
|
|
12
|
1000
|
January 26, 2022
|
How to display goal line number with trace (not gtrace)?
|
|
1
|
401
|
January 22, 2022
|
Local use of Notebooks (and some casual observations)
|
|
6
|
383
|
January 12, 2022
|
Plunit and individual test setup/cleanup
|
|
8
|
569
|
January 8, 2022
|
Plunit fixme and assertion/1
|
|
1
|
375
|
January 8, 2022
|
4/72 Test #2: swipl:basic ......................***Failed
|
|
5
|
406
|
December 15, 2021
|
How do I make XPCE?
|
|
2
|
343
|
December 15, 2021
|
Customizing tab behavior for "%" comment in prolog-mode (emacs)
|
|
3
|
761
|
December 11, 2021
|
Is it possibly to open the help in a separate X11 window plus how do I start the Navigator?
|
|
5
|
306
|
September 27, 2021
|
Help window in terminal
|
|
7
|
560
|
September 11, 2021
|
I/O on Swish
|
|
3
|
498
|
August 18, 2021
|
Odd behaviour with ?- expects_dialect(sicstus)
|
|
9
|
481
|
August 1, 2021
|
Are there any Swi-Prolog COM or ActiveX components?
|
|
4
|
439
|
July 28, 2021
|
The existentially quantifying
|
|
2
|
335
|
June 11, 2021
|
Anyone written a version of `term_html:term//2` that writes the term in an expandable/collapsible tree?
|
|
9
|
365
|
May 30, 2021
|
Can't create mingw Docker container?
|
|
4
|
673
|
May 20, 2021
|