|
New config file structure
|
|
0
|
1248
|
October 6, 2019
|
|
Logtalk 3.36.0 released
|
|
0
|
393
|
March 3, 2020
|
|
SWI Prolog client now available for conceptbase (updated w/ fixes)
|
|
0
|
871
|
February 25, 2020
|
|
CytoscapeJS in SWISH
|
|
0
|
847
|
January 24, 2020
|
|
Auto-generated Prolog from Excel-based Logic
|
|
0
|
543
|
February 15, 2020
|
|
Start of IEEE 754 support
|
|
0
|
2049
|
February 7, 2020
|
|
Pushed library(intercept)
|
|
0
|
1359
|
January 2, 2020
|
|
Yarn now uses tau-Prolog
|
|
0
|
1012
|
February 3, 2020
|
|
Proper rational numbers (prototype for testing)
|
|
0
|
3042
|
January 31, 2020
|
|
Logtalk 3.35.0 released
|
|
0
|
429
|
January 30, 2020
|
|
DES 6.4 Released
|
|
0
|
481
|
January 20, 2020
|
|
TerminusDB White Paper
|
|
0
|
1077
|
January 14, 2020
|
|
2019 Icculus Grant
|
|
0
|
616
|
January 9, 2020
|
|
Logtalk 3.26.0 released
|
|
0
|
483
|
May 8, 2019
|
|
Logtalk 3.27.0 released
|
|
0
|
462
|
June 18, 2019
|
|
Logtalk 3.34.0 released
|
|
0
|
607
|
January 7, 2020
|
|
Just saw these job postings for professor positions
|
|
0
|
659
|
January 3, 2020
|
|
SimGen talk available
|
|
0
|
510
|
December 19, 2019
|
|
Logtalk 3.25.0 released
|
|
0
|
728
|
April 2, 2019
|
|
Logtalk 3.31.0 released
|
|
0
|
485
|
October 15, 2019
|
|
Logtalk 3.33.0 released
|
|
0
|
437
|
December 3, 2019
|
|
Logtalk 3.28.0 released
|
|
0
|
399
|
August 14, 2019
|
|
1st International Joint Conference on Learning & Reasoning, 9-11 Sept. 2020, Athens, Greece
|
|
0
|
772
|
January 2, 2020
|
|
Announcing New CHR Tutorial
|
|
0
|
810
|
November 30, 2019
|
|
Pack libssh: an embedded SSH server for SWI-Prolog
|
|
0
|
692
|
December 20, 2019
|
|
Advent of code
|
|
0
|
1070
|
December 9, 2019
|
|
Hack Day
|
|
0
|
335
|
November 24, 2019
|
|
Logtalk 3.32.0 released
|
|
0
|
481
|
November 5, 2019
|
|
Ludum Dare 45 Team SWI-Prolog
|
|
0
|
628
|
October 4, 2019
|
|
Typesetting mathematical expressions
|
|
0
|
443
|
October 21, 2019
|