Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021)
|
|
0
|
519
|
March 20, 2021
|
ANN: DatalogF3 Toy Engine
|
|
0
|
729
|
February 25, 2021
|
Real's 500th + RealOS
|
|
0
|
355
|
February 18, 2021
|
Updated Web tutorial
|
|
0
|
790
|
May 19, 2020
|
Senior Research Engineer in Automated Reasoning
|
|
0
|
567
|
February 5, 2021
|
TUS in prolog
|
|
0
|
474
|
January 26, 2021
|
DES 6.6 Released
|
|
0
|
448
|
January 25, 2021
|
Using Logic Programming for Theory Representation and Scientific Inference
|
|
0
|
391
|
January 25, 2021
|
Logic Programming for Theory Representation and Scientific Inference in Psychology
|
|
0
|
568
|
January 25, 2021
|
World Logic Day
|
|
0
|
460
|
January 13, 2021
|
Music in Prolog
|
|
0
|
1168
|
January 7, 2021
|
SWI-Prolog Solutions b.v
|
|
0
|
724
|
December 1, 2020
|
TerminusDB 4.0 - The Star's End Release
|
|
0
|
477
|
December 5, 2020
|
An experimental CGI page for playing around with basic operations on ZDD
|
|
0
|
391
|
November 19, 2020
|
Interesting new table records pack
|
|
0
|
727
|
October 16, 2020
|
Toward ZDD library in SWI-Prolog
|
|
0
|
1362
|
October 6, 2020
|
Ludum Dare 47
|
|
0
|
315
|
October 2, 2020
|
New standard package: a redis client
|
|
0
|
1200
|
October 2, 2020
|
I'm Available
|
|
0
|
517
|
August 20, 2020
|
Ann: Paper about Web Prolog
|
|
0
|
3428
|
August 27, 2019
|
Playing with Prolog - Train Consists
|
|
0
|
478
|
August 20, 2020
|
Please test branch no-local-references
|
|
0
|
810
|
August 17, 2020
|
New Course - Writing Chatbots That Don't Suck
|
|
0
|
785
|
August 9, 2020
|
You mean it's all horn clauses?
|
|
0
|
476
|
July 25, 2020
|
Prolog LSP now supports colours
|
|
0
|
1212
|
July 7, 2020
|
New official twitter account - @PrologSWI
|
|
0
|
471
|
July 14, 2020
|
I Can't Write, but I Want To Tell A Story
|
|
0
|
688
|
June 30, 2020
|
Docker for building Windows version of SWI-Prolog
|
|
0
|
510
|
July 1, 2020
|
Twitter
|
|
0
|
328
|
June 28, 2020
|
Pack Ann: Real + proSQLite --- for SWI 8.2.0
|
|
0
|
1738
|
May 29, 2020
|