|
Logtalk 3.37.0 released
|
|
0
|
455
|
April 2, 2020
|
|
SWI-Prolog Class
|
|
0
|
803
|
March 19, 2020
|
|
Experimental library for type-class-like polymorphic predicates
|
|
0
|
606
|
March 26, 2020
|
|
Available
|
|
0
|
317
|
March 19, 2020
|
|
Pack Ann: bio_db 3.1 + bio_db_repo 20.3.8 + lib 2.6
|
|
0
|
489
|
March 9, 2020
|
|
More precise clause garbage collection
|
|
0
|
375
|
March 8, 2020
|
|
New config file structure
|
|
0
|
1209
|
October 6, 2019
|
|
Logtalk 3.36.0 released
|
|
0
|
376
|
March 3, 2020
|
|
SWI Prolog client now available for conceptbase (updated w/ fixes)
|
|
0
|
851
|
February 25, 2020
|
|
CytoscapeJS in SWISH
|
|
0
|
828
|
January 24, 2020
|
|
Auto-generated Prolog from Excel-based Logic
|
|
0
|
510
|
February 15, 2020
|
|
Start of IEEE 754 support
|
|
0
|
2013
|
February 7, 2020
|
|
Pushed library(intercept)
|
|
0
|
1337
|
January 2, 2020
|
|
Yarn now uses tau-Prolog
|
|
0
|
1000
|
February 3, 2020
|
|
Proper rational numbers (prototype for testing)
|
|
0
|
3008
|
January 31, 2020
|
|
Logtalk 3.35.0 released
|
|
0
|
407
|
January 30, 2020
|
|
DES 6.4 Released
|
|
0
|
461
|
January 20, 2020
|
|
TerminusDB White Paper
|
|
0
|
1060
|
January 14, 2020
|
|
2019 Icculus Grant
|
|
0
|
603
|
January 9, 2020
|
|
Logtalk 3.26.0 released
|
|
0
|
474
|
May 8, 2019
|
|
Logtalk 3.27.0 released
|
|
0
|
443
|
June 18, 2019
|
|
Logtalk 3.34.0 released
|
|
0
|
592
|
January 7, 2020
|
|
Just saw these job postings for professor positions
|
|
0
|
648
|
January 3, 2020
|
|
SimGen talk available
|
|
0
|
496
|
December 19, 2019
|
|
Logtalk 3.25.0 released
|
|
0
|
706
|
April 2, 2019
|
|
Logtalk 3.31.0 released
|
|
0
|
477
|
October 15, 2019
|
|
Logtalk 3.33.0 released
|
|
0
|
422
|
December 3, 2019
|
|
Logtalk 3.28.0 released
|
|
0
|
383
|
August 14, 2019
|
|
1st International Joint Conference on Learning & Reasoning, 9-11 Sept. 2020, Athens, Greece
|
|
0
|
754
|
January 2, 2020
|
|
Announcing New CHR Tutorial
|
|
0
|
799
|
November 30, 2019
|