|
A book of ideas and proposals for the future of Prolog
|
|
33
|
350
|
August 29, 2026
|
|
Comments on format tests
|
|
16
|
449
|
November 25, 2025
|
|
Different usage contexts of mode indicators, and the '-' mode
|
|
11
|
145
|
February 6, 2025
|
|
Format/2-3 and term write depth
|
|
10
|
191
|
December 5, 2024
|
|
Some thoughts about a test framework for PIPS
|
|
10
|
188
|
May 4, 2026
|
|
X{Attrs} syntax
|
|
9
|
111
|
October 6, 2025
|
|
Systems programming using Prolog (aka uniform and well supported FFI)
|
|
10
|
71
|
August 24, 2026
|
|
Draft PIP-0110-format
|
|
0
|
94
|
November 6, 2025
|
|
Welcome to the Prolog Community Discourse! :wave:
|
|
8
|
245
|
December 11, 2024
|
|
Hilog in XSB, Ciao, etc
|
|
7
|
144
|
February 18, 2025
|
|
Teaching materials
|
|
6
|
147
|
May 16, 2024
|
|
Recoding in Prolog
|
|
5
|
133
|
December 17, 2024
|
|
Neuro symbolic reasoning on a AI laptop
|
|
0
|
164
|
May 8, 2026
|
|
Max_arity limits
|
|
5
|
96
|
November 24, 2024
|
|
Subgraph Isomorphism: Prolog vs. Conventional
|
|
6
|
146
|
November 26, 2025
|
|
Some ideas on how to present our PEG examples
|
|
4
|
142
|
December 18, 2024
|
|
Using exceptions for "getting out"
|
|
2
|
92
|
October 2, 2024
|
|
Float enhancements stalled?
|
|
4
|
110
|
March 24, 2026
|
|
Internationalization via reified messages
|
|
7
|
85
|
August 13, 2026
|
|
Experiences with argnames/struct
|
|
5
|
98
|
April 9, 2025
|
|
More SWI-Prolog options that may be worth considering
|
|
4
|
103
|
November 20, 2024
|
|
New to Prolog: Needs documents to start with in a good way
|
|
2
|
128
|
August 16, 2026
|
|
Variable writing
|
|
3
|
107
|
February 19, 2025
|
|
About the radix option (and a little about float write options)
|
|
5
|
86
|
November 17, 2024
|
|
Is there room to adopt a flag strict_iso?
|
|
3
|
106
|
May 25, 2025
|
|
Prolog and LLMs
|
|
1
|
96
|
October 18, 2024
|
|
Newbie Orientation
|
|
2
|
75
|
August 18, 2024
|
|
Unary and binary modes?
|
|
1
|
88
|
September 13, 2024
|
|
Confirming that Prolog code formally resolves the Liar Paradox
|
|
0
|
114
|
January 8, 2026
|
|
Prolog paid internship opportunity
|
|
1
|
78
|
August 17, 2026
|
|
From test runner to test reporter (PIP Cockpit Solutions)
|
|
0
|
102
|
May 2, 2026
|
|
Implementing embedded implication
|
|
0
|
93
|
April 25, 2026
|
|
LOPSTR+PPDP 2026 Call for Papers
|
|
0
|
90
|
May 3, 2026
|
|
Incomplete data structures at HackerNews
|
|
0
|
70
|
November 8, 2024
|
|
Progress notes on text_max
|
|
3
|
34
|
November 24, 2025
|
|
Handling exceptions based on predicate based classification
|
|
0
|
67
|
October 6, 2024
|
|
Column (type) specifiers
|
|
0
|
66
|
February 27, 2026
|
|
Can you please check the call for papers, in case you spot any mistakes?
|
|
0
|
51
|
July 16, 2024
|
|
Prolog Education Workshop 2024
|
|
0
|
48
|
August 15, 2024
|
|
Anonymous dictionaries
|
|
0
|
47
|
February 25, 2025
|
|
Prolog Improvements Forum PIPs Workshop 2024
|
|
0
|
46
|
August 15, 2024
|
|
Printing cyclic terms
|
|
0
|
43
|
February 20, 2025
|
|
Prolog Education Workshop 2024 announced
|
|
0
|
43
|
August 15, 2024
|
|
Prolog Education Workshop 2025
|
|
0
|
43
|
June 26, 2025
|
|
Preliminary program for 2024 Prolog Education Workshop available
|
|
0
|
26
|
September 13, 2024
|
|
Registration now open for ICLP workshops
|
|
0
|
22
|
September 13, 2024
|