|
Welcome to the Prolog Community Discourse! :wave:
|
|
8
|
265
|
December 11, 2024
|
|
About the General discussions on Prolog category
|
|
0
|
19
|
April 22, 2024
|
|
Food for thought: Quick Course in Fuzz Testing
|
|
0
|
17
|
September 27, 2026
|
|
Food for thought: Bayesian Experimental Designer
|
|
0
|
21
|
September 24, 2026
|
|
Food for thought: Schwartzian Transform
|
|
0
|
18
|
September 23, 2026
|
|
Food for thought: Does your Agent have a Card?
|
|
0
|
25
|
September 16, 2026
|
|
Food for thought: Are there ISO Prolog dialects?
|
|
0
|
32
|
September 11, 2026
|
|
RANT about module system
|
|
18
|
207
|
September 9, 2026
|
|
Food for thought: Le Petit Bistro as a Trinity Use Case
|
|
0
|
49
|
September 2, 2026
|
|
Food for thought: ISOMICRO profile of Web Prolog
|
|
7
|
123
|
September 1, 2026
|
|
A book of ideas and proposals for the future of Prolog
|
|
33
|
649
|
August 30, 2026
|
|
Systems programming using Prolog (aka uniform and well supported FFI)
|
|
9
|
165
|
August 18, 2026
|
|
Prolog paid internship opportunity
|
|
1
|
104
|
August 17, 2026
|
|
New to Prolog: Needs documents to start with in a good way
|
|
2
|
191
|
August 16, 2026
|
|
Internationalization via reified messages
|
|
7
|
169
|
August 13, 2026
|
|
Neuro symbolic reasoning on a AI laptop
|
|
0
|
204
|
May 8, 2026
|
|
LOPSTR+PPDP 2026 Call for Papers
|
|
0
|
106
|
May 3, 2026
|
|
From test runner to test reporter (PIP Cockpit Solutions)
|
|
0
|
123
|
May 2, 2026
|
|
Implementing embedded implication
|
|
0
|
112
|
April 25, 2026
|
|
Confirming that Prolog code formally resolves the Liar Paradox
|
|
0
|
128
|
January 8, 2026
|
|
Is there room to adopt a flag strict_iso?
|
|
3
|
109
|
May 25, 2025
|
|
Incomplete data structures at HackerNews
|
|
0
|
71
|
November 8, 2024
|
|
Prolog and LLMs
|
|
1
|
102
|
October 18, 2024
|
|
Newbie Orientation
|
|
2
|
81
|
August 18, 2024
|