|
Logtalk 3.27.0 released
|
|
0
|
411
|
June 18, 2019
|
|
Logtalk 3.34.0 released
|
|
0
|
552
|
January 7, 2020
|
|
Just saw these job postings for professor positions
|
|
0
|
601
|
January 3, 2020
|
|
SimGen talk available
|
|
0
|
470
|
December 19, 2019
|
|
Logtalk 3.25.0 released
|
|
0
|
682
|
April 2, 2019
|
|
Logtalk 3.31.0 released
|
|
0
|
452
|
October 15, 2019
|
|
Logtalk 3.33.0 released
|
|
0
|
403
|
December 3, 2019
|
|
Logtalk 3.28.0 released
|
|
0
|
366
|
August 14, 2019
|
|
1st International Joint Conference on Learning & Reasoning, 9-11 Sept. 2020, Athens, Greece
|
|
0
|
735
|
January 2, 2020
|
|
Announcing New CHR Tutorial
|
|
0
|
749
|
November 30, 2019
|
|
Pack libssh: an embedded SSH server for SWI-Prolog
|
|
0
|
647
|
December 20, 2019
|
|
Advent of code
|
|
0
|
1004
|
December 9, 2019
|
|
Hack Day
|
|
0
|
304
|
November 24, 2019
|
|
Logtalk 3.32.0 released
|
|
0
|
448
|
November 5, 2019
|
|
Ludum Dare 45 Team SWI-Prolog
|
|
0
|
563
|
October 4, 2019
|
|
Typesetting mathematical expressions
|
|
0
|
397
|
October 21, 2019
|
|
Eu.swi-prolog.org down
|
|
0
|
491
|
October 15, 2019
|
|
Exercises
|
|
0
|
288
|
October 1, 2019
|
|
Interface between Julia and SWI-Prolog
|
|
0
|
1372
|
September 23, 2019
|
|
Logtalk 3.30.0 released
|
|
0
|
457
|
September 17, 2019
|
|
My SWI-Prolog page
|
|
0
|
1315
|
September 7, 2019
|
|
Equal Experts Talk
|
|
0
|
393
|
September 6, 2019
|
|
DES 6.3 Released
|
|
0
|
857
|
September 6, 2019
|
|
Logtalk 3.29.0 released
|
|
0
|
613
|
September 3, 2019
|
|
Ann: Playing with Prolog - Tabling
|
|
0
|
410
|
September 2, 2019
|
|
Tabling meets negation!
|
|
0
|
1431
|
March 17, 2019
|
|
PrologHub.pl First Month Update
|
|
0
|
488
|
June 12, 2019
|
|
Announcement: sparqlprog, a pack for federated logic programming over SPARQL endpoints
|
|
0
|
714
|
August 14, 2019
|
|
Compiler tutorial on Swish
|
|
0
|
1100
|
July 26, 2019
|
|
Game tree tutorial on Swish
|
|
0
|
1010
|
July 4, 2019
|