|
Resolving MQI ambiguities
|
|
0
|
50
|
June 9, 2026
|
|
Some questions about wasm
|
|
9
|
135
|
March 2, 2026
|
|
Max_path_length limitation
|
|
11
|
969
|
February 19, 2026
|
|
Hillel Wayne: "My Gripes with Prolog"
|
|
11
|
339
|
February 3, 2026
|
|
How to constrain indefinite number variables and constraints?
|
|
1
|
101
|
December 30, 2025
|
|
What are the basic data types and data structures of Prolog?
|
|
2
|
96
|
December 23, 2025
|
|
Dicts, attribute variables and cyclic terms
|
|
20
|
401
|
October 21, 2025
|
|
ChatGPT Can Convert Some Standards to Prolog, e.g. USPAP (Uniform Standards Of Professional Appraisal Practice)
|
|
4
|
110
|
October 4, 2025
|
|
Towards an extension of `library(error)`
|
|
3
|
1125
|
June 9, 2020
|
|
Pengines success event produced with two different term structures
|
|
0
|
53
|
September 12, 2025
|
|
Is the documentation of library(heaps) confusing?
|
|
5
|
93
|
September 9, 2025
|
|
Yield based debugging: allow for a fancy debugger for the browser version!
|
|
0
|
90
|
February 19, 2025
|
|
Yet another SQLite binding for SWI-Prolog
|
|
12
|
226
|
January 12, 2025
|
|
Yfy-pattern
|
|
14
|
1137
|
November 13, 2024
|
|
SQLite dependency in a pack
|
|
12
|
207
|
July 31, 2024
|
|
Including prolog c++ libraries inside Unreal Engine
|
|
2
|
156
|
July 2, 2024
|
|
Generalizing aggregate/3 by adding foldl semantics
|
|
0
|
275
|
June 23, 2024
|
|
"Updating index for library" messages after ninja install
|
|
4
|
232
|
June 3, 2024
|
|
Why the answer contains a `false`?
|
|
16
|
3243
|
May 14, 2024
|
|
Strange behavior with findall/3
|
|
3
|
124
|
May 2, 2024
|
|
(C/C++) Blobs and the flags for "unique" and "nocopy"
|
|
6
|
292
|
April 8, 2024
|
|
A pure sort/2
|
|
15
|
975
|
March 7, 2024
|
|
Need Help with research about industrial/commercial applications in Prolog
|
|
6
|
645
|
February 25, 2024
|
|
Incorporation of edwards elliptic curves into swipl?
|
|
1
|
164
|
February 19, 2024
|
|
Zippers for data-structure editing with DCG state management
|
|
2
|
173
|
January 24, 2024
|
|
Term_expansion, goal_expansion, and peers
|
|
3
|
267
|
January 12, 2024
|
|
I'm looking for a more elegant way to solve the problem
|
|
10
|
410
|
December 26, 2023
|
|
Cmake test program triggers Windows Defender
|
|
2
|
494
|
December 22, 2023
|
|
Can't send mail using smtp
|
|
2
|
229
|
December 6, 2023
|
|
What you do think about this way to model laws?
|
|
8
|
447
|
December 3, 2023
|