|
A book of ideas and proposals for the future of Prolog
|
|
33
|
673
|
August 30, 2026
|
|
Comments on format tests
|
|
16
|
493
|
November 25, 2025
|
|
RANT about module system
|
|
18
|
230
|
September 9, 2026
|
|
Different usage contexts of mode indicators, and the '-' mode
|
|
11
|
159
|
February 6, 2025
|
|
Format/2-3 and term write depth
|
|
10
|
228
|
December 5, 2024
|
|
Some thoughts about a test framework for PIPS
|
|
10
|
209
|
May 4, 2026
|
|
Systems programming using Prolog (aka uniform and well supported FFI)
|
|
9
|
172
|
August 18, 2026
|
|
X{Attrs} syntax
|
|
9
|
117
|
October 6, 2025
|
|
Draft PIP-0110-format
|
|
0
|
105
|
November 6, 2025
|
|
Prolog Agent Toolkit
|
|
5
|
140
|
October 19, 2026
|
|
Welcome to the Prolog Community Discourse! :wave:
|
|
8
|
267
|
December 11, 2024
|
|
Hilog in XSB, Ciao, etc
|
|
7
|
155
|
February 18, 2025
|
|
Teaching materials
|
|
6
|
164
|
May 16, 2024
|
|
Neuro symbolic reasoning on a AI laptop
|
|
0
|
214
|
May 8, 2026
|
|
Recoding in Prolog
|
|
5
|
143
|
December 17, 2024
|
|
Subgraph Isomorphism: Prolog vs. Conventional
|
|
6
|
209
|
November 26, 2025
|
|
Internationalization via reified messages
|
|
7
|
173
|
August 13, 2026
|
|
Max_arity limits
|
|
5
|
107
|
November 24, 2024
|
|
Food for thought: ISOMICRO profile of Web Prolog
|
|
7
|
129
|
September 1, 2026
|
|
New to Prolog: Needs documents to start with in a good way
|
|
2
|
196
|
August 16, 2026
|
|
Some ideas on how to present our PEG examples
|
|
4
|
148
|
December 18, 2024
|
|
Float enhancements stalled?
|
|
4
|
146
|
March 24, 2026
|
|
Using exceptions for "getting out"
|
|
2
|
101
|
October 2, 2024
|
|
About the radix option (and a little about float write options)
|
|
5
|
122
|
November 17, 2024
|
|
Experiences with argnames/struct
|
|
5
|
106
|
April 9, 2025
|
|
Variable writing
|
|
3
|
129
|
February 19, 2025
|
|
More SWI-Prolog options that may be worth considering
|
|
4
|
115
|
November 20, 2024
|
|
Is there room to adopt a flag strict_iso?
|
|
3
|
109
|
May 25, 2025
|
|
Prolog paid internship opportunity
|
|
1
|
108
|
August 17, 2026
|
|
Prolog and LLMs
|
|
1
|
108
|
October 18, 2024
|
|
Newbie Orientation
|
|
2
|
85
|
August 18, 2024
|
|
Unary and binary modes?
|
|
1
|
95
|
September 13, 2024
|
|
Confirming that Prolog code formally resolves the Liar Paradox
|
|
0
|
130
|
January 8, 2026
|
|
From test runner to test reporter (PIP Cockpit Solutions)
|
|
0
|
127
|
May 2, 2026
|
|
Implementing embedded implication
|
|
0
|
113
|
April 25, 2026
|
|
LOPSTR+PPDP 2026 Call for Papers
|
|
0
|
109
|
May 3, 2026
|
|
Progress notes on text_max
|
|
3
|
46
|
November 24, 2025
|
|
Column (type) specifiers
|
|
0
|
77
|
February 27, 2026
|
|
Incomplete data structures at HackerNews
|
|
0
|
71
|
November 8, 2024
|
|
Food for thought: Are there ISO Prolog dialects?
|
|
1
|
51
|
October 17, 2026
|
|
Handling exceptions based on predicate based classification
|
|
0
|
69
|
October 6, 2024
|
|
Prolog Improvements Forum PIPs Workshop 2024
|
|
0
|
64
|
August 15, 2024
|
|
Food for thought: Le Petit Bistro as a Trinity Use Case
|
|
0
|
53
|
September 2, 2026
|
|
Can you please check the call for papers, in case you spot any mistakes?
|
|
0
|
52
|
July 16, 2024
|
|
Prolog Education Workshop 2024
|
|
0
|
52
|
August 15, 2024
|
|
Prolog Education Workshop 2025
|
|
0
|
47
|
June 26, 2025
|
|
Anonymous dictionaries
|
|
0
|
47
|
February 25, 2025
|
|
Prolog Education Workshop 2024 announced
|
|
0
|
45
|
August 15, 2024
|
|
Printing cyclic terms
|
|
0
|
44
|
February 20, 2025
|
|
Food for thought: Does your Agent have a Card?
|
|
0
|
33
|
September 16, 2026
|