Functional geometry in prolog
|
|
0
|
597
|
May 19, 2020
|
Transformation Tools and simple optimiser
|
|
0
|
651
|
May 15, 2020
|
Crowd-Contributing a Prolog Cookbook ... an embryonic kernel
|
|
0
|
908
|
May 11, 2020
|
My first useful prolog application
|
|
0
|
366
|
April 28, 2020
|
Logtalk 3.38.0 released
|
|
0
|
364
|
April 28, 2020
|
Snap for SWI-Prolog available
|
|
0
|
855
|
April 20, 2020
|
DES 6.5 Released
|
|
0
|
532
|
April 10, 2020
|
CFP Final Call For Papers The 31st International Conference on Concurrency Theory – CONCUR 2020 - Vienna, Austria — ONLINE — September 1-4, 2020
|
|
0
|
327
|
April 7, 2020
|
Logtalk 3.37.0 released
|
|
0
|
406
|
April 2, 2020
|
SWI-Prolog Class
|
|
0
|
709
|
March 19, 2020
|
Experimental library for type-class-like polymorphic predicates
|
|
0
|
472
|
March 26, 2020
|
Available
|
|
0
|
278
|
March 19, 2020
|
Pack Ann: bio_db 3.1 + bio_db_repo 20.3.8 + lib 2.6
|
|
0
|
460
|
March 9, 2020
|
More precise clause garbage collection
|
|
0
|
326
|
March 8, 2020
|
New config file structure
|
|
0
|
1090
|
October 6, 2019
|
Logtalk 3.36.0 released
|
|
0
|
323
|
March 3, 2020
|
SWI Prolog client now available for conceptbase (updated w/ fixes)
|
|
0
|
781
|
February 25, 2020
|
CytoscapeJS in SWISH
|
|
0
|
727
|
January 24, 2020
|
Auto-generated Prolog from Excel-based Logic
|
|
0
|
460
|
February 15, 2020
|
Start of IEEE 754 support
|
|
0
|
1854
|
February 7, 2020
|
Pushed library(intercept)
|
|
0
|
1204
|
January 2, 2020
|
Yarn now uses tau-Prolog
|
|
0
|
915
|
February 3, 2020
|
Proper rational numbers (prototype for testing)
|
|
0
|
2805
|
January 31, 2020
|
Logtalk 3.35.0 released
|
|
0
|
366
|
January 30, 2020
|
DES 6.4 Released
|
|
0
|
420
|
January 20, 2020
|
TerminusDB White Paper
|
|
0
|
949
|
January 14, 2020
|
2019 Icculus Grant
|
|
0
|
550
|
January 9, 2020
|
Logtalk 3.26.0 released
|
|
0
|
420
|
May 8, 2019
|
Logtalk 3.27.0 released
|
|
0
|
399
|
June 18, 2019
|
Logtalk 3.34.0 released
|
|
0
|
539
|
January 7, 2020
|