|
SWI-Tinker for G4-mic F.O.L. Automated Prover
|
|
0
|
69
|
December 2, 2025
|
|
Algorithm: SAT implementation
|
|
2
|
129
|
November 20, 2025
|
|
XPCE, Boîte de Dialog
|
|
4
|
119
|
November 8, 2025
|
|
Random colorized code looks nice but isn't helpful
|
|
7
|
116
|
October 10, 2025
|
|
Python Prolog MCP server, using SWI Prolog
|
|
5
|
285
|
July 3, 2025
|
|
Ann: DES 6.8 Released
|
|
0
|
72
|
June 15, 2025
|
|
Ann: DESODBC 1.0.0
|
|
0
|
63
|
June 9, 2025
|
|
I am having error with janus
|
|
7
|
193
|
May 11, 2025
|
|
Scrolling up and down in swipl-win does partly delete some of the contents in the window
|
|
7
|
120
|
March 23, 2025
|
|
Prolog to GPT API
|
|
1
|
981
|
December 9, 2024
|
|
Signals reported as unknown
|
|
1
|
76
|
October 17, 2024
|
|
Pack Announce: ltools - list manipulations in Prolog
|
|
0
|
73
|
September 3, 2024
|
|
Alternate Package Definitions for SWI-Prolog
|
|
11
|
103
|
August 20, 2024
|
|
Exception when closing a stderr(pipe) after process_create failure
|
|
6
|
84
|
August 9, 2024
|
|
Including prolog c++ libraries inside Unreal Engine
|
|
2
|
146
|
July 2, 2024
|
|
Thread error while doing boolean calculations and file writing
|
|
4
|
142
|
June 24, 2024
|
|
License Changes Concerning Redis, An Optional Dependency For Swish
|
|
6
|
388
|
March 31, 2024
|
|
Enhancements to plunit
|
|
6
|
480
|
March 13, 2024
|
|
Need Help with research about industrial/commercial applications in Prolog
|
|
6
|
600
|
February 25, 2024
|
|
Incorporation of edwards elliptic curves into swipl?
|
|
1
|
155
|
February 19, 2024
|
|
I'm looking for a more elegant way to solve the problem
|
|
10
|
384
|
December 26, 2023
|
|
How to understand why the application crashes?
|
|
21
|
421
|
December 21, 2023
|
|
How to install module in Python online compiler
|
|
0
|
4398
|
August 21, 2023
|
|
Pro2sql -- a lighweight prolog to SQL translator
|
|
0
|
728
|
July 2, 2023
|
|
Problems with Sweep
|
|
4
|
493
|
May 28, 2023
|
|
Yaml's treatment of single letter values
|
|
2
|
318
|
May 4, 2023
|
|
Compilation error in swi-pl 8.4.3
|
|
3
|
365
|
January 13, 2023
|
|
SWI Prolog stable PPA is not available for latest Ubuntu LTS and Ubuntu 21.10
|
|
1
|
430
|
June 16, 2022
|
|
Rounding transcendentals broken on MacOS (Intel)
|
|
52
|
1555
|
May 4, 2022
|
|
Looking for a little game prototype / code snippets in SWI-Prolog
|
|
2
|
841
|
May 2, 2022
|