|
About the Announce category
|
|
0
|
148
|
February 4, 2019
|
|
Spinx-Prolog for creating interactive Prolog books
|
|
0
|
16
|
February 28, 2021
|
|
ANN: DatalogF3 Toy Engine
|
|
0
|
65
|
February 25, 2021
|
|
Real's 500th + RealOS
|
|
0
|
60
|
February 18, 2021
|
|
Updated Web tutorial
|
|
0
|
184
|
May 19, 2020
|
|
Senior Research Engineer in Automated Reasoning
|
|
0
|
106
|
February 5, 2021
|
|
TUS in prolog
|
|
0
|
75
|
January 26, 2021
|
|
DES 6.6 Released
|
|
0
|
71
|
January 25, 2021
|
|
Using Logic Programming for Theory Representation and Scientific Inference
|
|
0
|
88
|
January 25, 2021
|
|
Logic Programming for Theory Representation and Scientific Inference in Psychology
|
|
0
|
92
|
January 25, 2021
|
|
World Logic Day
|
|
0
|
89
|
January 13, 2021
|
|
Music in Prolog
|
|
1
|
151
|
January 7, 2021
|
|
SWI-Prolog Solutions b.v
|
|
0
|
191
|
December 1, 2020
|
|
TerminusDB 4.0 - The Star's End Release
|
|
0
|
108
|
December 5, 2020
|
|
An experimental CGI page for playing around with basic operations on ZDD
|
|
0
|
57
|
November 19, 2020
|
|
Ann: SWI-Prolog 8.3.13
|
|
0
|
130
|
November 16, 2020
|
|
Ann: SWI-Prolog 8.2.2 (stable)
|
|
0
|
164
|
October 27, 2020
|
|
Ann: SWI-Prolog 8.3.11
|
|
0
|
90
|
November 4, 2020
|
|
Ann: SWI-Prolog 8.3.10
|
|
0
|
100
|
October 22, 2020
|
|
Interesting new table records pack
|
|
0
|
112
|
October 16, 2020
|
|
Toward ZDD library in SWI-Prolog
|
|
0
|
648
|
October 6, 2020
|
|
Ludum Dare 47
|
|
0
|
56
|
October 2, 2020
|
|
New standard package: a redis client
|
|
0
|
407
|
October 2, 2020
|
|
I'm Available
|
|
0
|
188
|
August 20, 2020
|
|
Ann: Paper about Web Prolog
|
|
0
|
2366
|
August 27, 2019
|
|
Playing with Prolog - Train Consists
|
|
0
|
84
|
August 20, 2020
|
|
Please test branch no-local-references
|
|
0
|
313
|
August 17, 2020
|
|
New Course - Writing Chatbots That Don't Suck
|
|
0
|
175
|
August 9, 2020
|
|
You mean it's all horn clauses?
|
|
0
|
125
|
July 25, 2020
|
|
Prolog LSP now supports colours
|
|
0
|
389
|
July 7, 2020
|
