|
About the General category
|
|
0
|
274
|
August 29, 2022
|
|
Welcome to Discourse
|
|
0
|
3143
|
February 4, 2019
|
|
Elegant prolog codes on displaying answers for queries having multiple answers
|
|
1
|
44
|
June 17, 2026
|
|
Personal notes on health, AI, and the direction of SWI-Prolog
|
|
4
|
23
|
June 17, 2026
|
|
Sharing prolog-fmt: authorative Prolog formatter
|
|
6
|
67
|
June 17, 2026
|
|
Verifiable Reasoning AI for Education – Looking to Connect
|
|
5
|
183
|
June 11, 2026
|
|
Is it possible to get portable current_date(date(Y, M, D))?
|
|
1
|
68
|
June 10, 2026
|
|
CHR x CLP behaviour
|
|
3
|
98
|
June 5, 2026
|
|
Prolog error
|
|
3
|
52
|
June 3, 2026
|
|
Swipl-win: no GUI
|
|
3
|
70
|
May 27, 2026
|
|
Engine timeout and cross-thread destroy issues
|
|
5
|
121
|
May 26, 2026
|
|
New to Prolog,
|
|
3
|
95
|
May 22, 2026
|
|
Mute ws_discard_input()
|
|
18
|
159
|
May 21, 2026
|
|
Upstreaming `ord_lookup`, `ord_range` and `rb_visit_range`
|
|
7
|
129
|
May 15, 2026
|
|
Clp interface with egraph
|
|
2
|
54
|
May 10, 2026
|
|
Should there be compiler/runtime warnings when using debug/1 incorrectly?
|
|
0
|
32
|
May 9, 2026
|
|
Tools - View threads missing resource
|
|
1
|
51
|
May 8, 2026
|
|
Syntax for Calling Prolog from C
|
|
8
|
111
|
May 6, 2026
|
|
Which parsing algorithms do you use for your own implementation of Prolog?
|
|
7
|
117
|
May 5, 2026
|
|
Composing an arithmetic function in a loop (but without univ)
|
|
5
|
58
|
May 4, 2026
|
|
LOPSTR+PPDP 2026 Call for Papers
|
|
0
|
42
|
May 3, 2026
|
|
An original technical report by Jan Burse found in a large box in the attic
|
|
8
|
658
|
April 30, 2026
|
|
How many days will it realistically take to code up a working prototype of WAM (without optimization)?
|
|
23
|
245
|
April 24, 2026
|
|
Can ILP learn geometry rules with floating point numbers
|
|
42
|
354
|
April 23, 2026
|
|
New egraph pack v0.1.0 annoucement for term rewriting
|
|
22
|
251
|
April 22, 2026
|
|
Absolute_file_name confusion
|
|
1
|
38
|
April 14, 2026
|
|
`w` write mode not working?
|
|
18
|
154
|
April 14, 2026
|
|
Error: exported procedure socket: XYZ not defined - when using Parallels on Apple M3, but not on Apple Intel Core i7
|
|
1
|
45
|
April 13, 2026
|
|
How to substring at byte index?
|
|
2
|
58
|
April 13, 2026
|
|
What is the real purpose of Annex (formal semantics) in the ISO Prolog standard (1995)?
|
|
0
|
58
|
April 10, 2026
|