|
About the Tools category
|
|
0
|
273
|
February 27, 2020
|
|
Problems with Sweep
|
|
4
|
95
|
May 28, 2023
|
|
Status of Triple20 & ClioPatria
|
|
9
|
150
|
May 4, 2023
|
|
Solved. XPCE Tools no longer work after upgrading os OSX Ventura
|
|
2
|
62
|
April 28, 2023
|
|
Difficulty installing SWEEP
|
|
11
|
170
|
April 24, 2023
|
|
Connecting to sqlite3 with ODBC: choosing a database file?
|
|
3
|
160
|
March 19, 2023
|
|
JPL: error after consulting a file not throwing exception
|
|
5
|
624
|
February 27, 2023
|
|
XPCE standalone executable (Windows 10)
|
|
8
|
547
|
August 18, 2022
|
|
Try using C++ interface but files dosen't compile well
|
|
0
|
140
|
June 21, 2022
|
|
ClioPatria... a few questions regarding its state and capabilities
|
|
0
|
190
|
June 6, 2022
|
|
Can swipl.exe load library(pce)?
|
|
4
|
361
|
May 6, 2022
|
|
Execlp: No such file or directory
|
|
1
|
595
|
April 20, 2022
|
|
Set the tmp directory of a Prolog program?
|
|
2
|
238
|
April 13, 2022
|
|
Logtalk; grpolog not found
|
|
2
|
247
|
March 7, 2022
|
|
Improving Beckert's & Posegga's in Prolog
|
|
12
|
930
|
January 26, 2022
|
|
How to display goal line number with trace (not gtrace)?
|
|
1
|
352
|
January 22, 2022
|
|
Local use of Notebooks (and some casual observations)
|
|
6
|
321
|
January 12, 2022
|
|
Plunit and individual test setup/cleanup
|
|
8
|
485
|
January 8, 2022
|
|
Plunit fixme and assertion/1
|
|
1
|
337
|
January 8, 2022
|
|
4/72 Test #2: swipl:basic ......................***Failed
|
|
5
|
366
|
December 15, 2021
|
|
How do I make XPCE?
|
|
2
|
292
|
December 15, 2021
|
|
Customizing tab behavior for "%" comment in prolog-mode (emacs)
|
|
3
|
705
|
December 11, 2021
|
|
Is it possibly to open the help in a separate X11 window plus how do I start the Navigator?
|
|
5
|
270
|
September 27, 2021
|
|
Help window in terminal
|
|
7
|
528
|
September 11, 2021
|
|
I/O on Swish
|
|
3
|
436
|
August 18, 2021
|
|
Odd behaviour with ?- expects_dialect(sicstus)
|
|
9
|
432
|
August 1, 2021
|
|
Are there any Swi-Prolog COM or ActiveX components?
|
|
4
|
409
|
July 28, 2021
|
|
The existentially quantifying
|
|
2
|
312
|
June 11, 2021
|
|
Anyone written a version of `term_html:term//2` that writes the term in an expandable/collapsible tree?
|
|
9
|
325
|
May 30, 2021
|
|
Can't create mingw Docker container?
|
|
4
|
632
|
May 20, 2021
|