|
How to constrain indefinite number variables and constraints?
|
|
1
|
32
|
December 30, 2025
|
|
Undeclared identifier 'H_SAVE_FP'
|
|
10
|
100
|
October 30, 2025
|
|
ChatGPT Can Convert Some Standards to Prolog, e.g. USPAP (Uniform Standards Of Professional Appraisal Practice)
|
|
4
|
97
|
October 4, 2025
|
|
How to make it write all of a list
|
|
3
|
72
|
September 26, 2025
|
|
Logical negation in Prolog ~ a = (a => f)
|
|
3
|
111
|
September 7, 2025
|
|
Can't build on Ubuntu
|
|
6
|
99
|
September 9, 2025
|
|
Proper Error handling http_open
|
|
5
|
61
|
September 7, 2025
|
|
Struggling with repeated floor division and clause matching in CLPFD
|
|
3
|
66
|
August 28, 2025
|
|
No query result with dict and javascript object which has _ values
|
|
8
|
65
|
August 1, 2025
|
|
How to get mode directed tabling from a predicate, programmatically
|
|
1
|
48
|
July 30, 2025
|
|
Understanding the output of the profiler
|
|
9
|
171
|
June 16, 2025
|
|
Looking for an example of a REPL
|
|
11
|
186
|
June 4, 2025
|
|
Slow calculations, use websockets to refresh webpage when finished
|
|
5
|
109
|
June 3, 2025
|
|
:- set_prolog_flag(prefer_rationals, true). % Int/Int --> Rational :- set_prolog_flag(rational_syntax, natural). % Write as `1/3`
|
|
4
|
58
|
May 17, 2025
|
|
I am having error with janus
|
|
7
|
163
|
May 11, 2025
|
|
Sweeprolog: Overriding theme
|
|
0
|
47
|
May 8, 2025
|
|
Named singleton variables
|
|
4
|
203
|
April 9, 2025
|
|
Swipl-bundle.js not working
|
|
4
|
75
|
March 9, 2025
|
|
How to embed Python into Prolog on MacOS?
|
|
2
|
72
|
February 3, 2025
|
|
Sporadic "abort trap" when using trace/2
|
|
3
|
51
|
January 26, 2025
|
|
Pengine_rpc and HTTP Basic Auth
|
|
7
|
87
|
January 15, 2025
|
|
C++ in Prolog. how to get the result in a variable?
|
|
2
|
79
|
January 14, 2025
|
|
How to tell xref/pceemacs about my module
|
|
4
|
71
|
December 12, 2024
|
|
Prolog
|
|
1
|
83
|
October 15, 2024
|
|
Matching an identical subset of two lists
|
|
7
|
109
|
September 17, 2024
|
|
Set a default value for a variable if it is not provided by user
|
|
14
|
316
|
September 6, 2024
|
|
JPL: error after consulting a file not throwing exception
|
|
6
|
1039
|
August 27, 2024
|
|
Seeking Advice on Pre-built SWI-Prolog with Janus Python Interface for GitHub Actions
|
|
2
|
67
|
August 24, 2024
|
|
Primality Test
|
|
6
|
80
|
August 22, 2024
|
|
There is an error in sending mail using SMTP
|
|
3
|
99
|
August 17, 2024
|