|
About the Tools category
|
|
0
|
388
|
February 27, 2020
|
|
Arrow up/down keys do not work across terminal sessions
|
|
2
|
41
|
January 20, 2025
|
|
Pack_list_installed?
|
|
10
|
71
|
December 19, 2024
|
|
PceEmacs and CHR
|
|
3
|
64
|
December 9, 2024
|
|
Turn off GUI warnings after GUI has been enabled?
|
|
4
|
49
|
September 18, 2024
|
|
Using vscode with SWI-Prolog
|
|
0
|
75
|
September 10, 2024
|
|
JPL: error after consulting a file not throwing exception
|
|
6
|
1010
|
August 27, 2024
|
|
PySwip
|
|
1
|
64
|
August 15, 2024
|
|
Using swipl-ld on Linux and MacOS
|
|
2
|
161
|
June 10, 2024
|
|
Anyone having trouble loading SWISH?
|
|
3
|
129
|
May 30, 2024
|
|
Customizing XPCE tools
|
|
5
|
193
|
February 28, 2024
|
|
Fatal Error when typing import janus_swi as janus (Python)
|
|
3
|
387
|
December 17, 2023
|
|
s(CASP) crashes with --html option
|
|
4
|
209
|
October 18, 2023
|
|
Problems with Sweep
|
|
4
|
461
|
May 28, 2023
|
|
Status of Triple20 & ClioPatria
|
|
9
|
449
|
May 4, 2023
|
|
Solved. XPCE Tools no longer work after upgrading os OSX Ventura
|
|
2
|
363
|
April 28, 2023
|
|
Difficulty installing SWEEP
|
|
11
|
634
|
April 24, 2023
|
|
Connecting to sqlite3 with ODBC: choosing a database file?
|
|
3
|
1307
|
March 19, 2023
|
|
XPCE standalone executable (Windows 10)
|
|
8
|
1184
|
August 18, 2022
|
|
Try using C++ interface but files dosen't compile well
|
|
0
|
321
|
June 21, 2022
|
|
ClioPatria... a few questions regarding its state and capabilities
|
|
0
|
368
|
June 6, 2022
|
|
Can swipl.exe load library(pce)?
|
|
4
|
1012
|
May 6, 2022
|
|
Execlp: No such file or directory
|
|
1
|
1594
|
April 20, 2022
|
|
Set the tmp directory of a Prolog program?
|
|
2
|
500
|
April 13, 2022
|
|
Logtalk; grpolog not found
|
|
2
|
463
|
March 7, 2022
|
|
Improving Beckert's & Posegga's in Prolog
|
|
12
|
1331
|
January 26, 2022
|
|
How to display goal line number with trace (not gtrace)?
|
|
1
|
612
|
January 22, 2022
|
|
Local use of Notebooks (and some casual observations)
|
|
6
|
642
|
January 12, 2022
|
|
Plunit and individual test setup/cleanup
|
|
8
|
910
|
January 8, 2022
|
|
Plunit fixme and assertion/1
|
|
1
|
573
|
January 8, 2022
|