|
Logtalk 3.36.0 released
|
|
0
|
386
|
March 3, 2020
|
|
SWI Prolog client now available for conceptbase (updated w/ fixes)
|
|
0
|
869
|
February 25, 2020
|
|
CytoscapeJS in SWISH
|
|
0
|
843
|
January 24, 2020
|
|
Auto-generated Prolog from Excel-based Logic
|
|
0
|
534
|
February 15, 2020
|
|
Start of IEEE 754 support
|
|
0
|
2037
|
February 7, 2020
|
|
Pushed library(intercept)
|
|
0
|
1352
|
January 2, 2020
|
|
Yarn now uses tau-Prolog
|
|
0
|
1010
|
February 3, 2020
|
|
Proper rational numbers (prototype for testing)
|
|
0
|
3034
|
January 31, 2020
|
|
Logtalk 3.35.0 released
|
|
0
|
425
|
January 30, 2020
|
|
DES 6.4 Released
|
|
0
|
474
|
January 20, 2020
|
|
TerminusDB White Paper
|
|
0
|
1074
|
January 14, 2020
|
|
2019 Icculus Grant
|
|
0
|
612
|
January 9, 2020
|
|
Logtalk 3.26.0 released
|
|
0
|
480
|
May 8, 2019
|
|
Logtalk 3.27.0 released
|
|
0
|
456
|
June 18, 2019
|
|
Logtalk 3.34.0 released
|
|
0
|
602
|
January 7, 2020
|
|
Just saw these job postings for professor positions
|
|
0
|
655
|
January 3, 2020
|
|
SimGen talk available
|
|
0
|
507
|
December 19, 2019
|
|
Logtalk 3.25.0 released
|
|
0
|
721
|
April 2, 2019
|
|
Logtalk 3.31.0 released
|
|
0
|
482
|
October 15, 2019
|
|
Logtalk 3.33.0 released
|
|
0
|
432
|
December 3, 2019
|
|
Logtalk 3.28.0 released
|
|
0
|
397
|
August 14, 2019
|
|
1st International Joint Conference on Learning & Reasoning, 9-11 Sept. 2020, Athens, Greece
|
|
0
|
769
|
January 2, 2020
|
|
Announcing New CHR Tutorial
|
|
0
|
808
|
November 30, 2019
|
|
Pack libssh: an embedded SSH server for SWI-Prolog
|
|
0
|
690
|
December 20, 2019
|
|
Advent of code
|
|
0
|
1067
|
December 9, 2019
|
|
Hack Day
|
|
0
|
332
|
November 24, 2019
|
|
Logtalk 3.32.0 released
|
|
0
|
477
|
November 5, 2019
|
|
Ludum Dare 45 Team SWI-Prolog
|
|
0
|
625
|
October 4, 2019
|
|
Typesetting mathematical expressions
|
|
0
|
440
|
October 21, 2019
|
|
Eu.swi-prolog.org down
|
|
0
|
545
|
October 15, 2019
|