|
New official twitter account - @PrologSWI
|
|
0
|
527
|
July 14, 2020
|
|
I Can't Write, but I Want To Tell A Story
|
|
0
|
757
|
June 30, 2020
|
|
Docker for building Windows version of SWI-Prolog
|
|
0
|
588
|
July 1, 2020
|
|
Twitter
|
|
0
|
353
|
June 28, 2020
|
|
Pack Ann: Real + proSQLite --- for SWI 8.2.0
|
|
0
|
1881
|
May 29, 2020
|
|
PrologHub launch: A community hub, a place to share, learn and keep up-to-date
|
|
0
|
833
|
May 17, 2019
|
|
Solution Code for the "Spinout" Puzzle
|
|
0
|
551
|
May 21, 2020
|
|
Functional geometry in prolog
|
|
0
|
704
|
May 19, 2020
|
|
Transformation Tools and simple optimiser
|
|
0
|
741
|
May 15, 2020
|
|
Crowd-Contributing a Prolog Cookbook ... an embryonic kernel
|
|
0
|
984
|
May 11, 2020
|
|
My first useful prolog application
|
|
0
|
427
|
April 28, 2020
|
|
Logtalk 3.38.0 released
|
|
0
|
397
|
April 28, 2020
|
|
Snap for SWI-Prolog available
|
|
0
|
971
|
April 20, 2020
|
|
DES 6.5 Released
|
|
0
|
609
|
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
|
348
|
April 7, 2020
|
|
Logtalk 3.37.0 released
|
|
0
|
460
|
April 2, 2020
|
|
SWI-Prolog Class
|
|
0
|
814
|
March 19, 2020
|
|
Experimental library for type-class-like polymorphic predicates
|
|
0
|
613
|
March 26, 2020
|
|
Available
|
|
0
|
331
|
March 19, 2020
|
|
Pack Ann: bio_db 3.1 + bio_db_repo 20.3.8 + lib 2.6
|
|
0
|
495
|
March 9, 2020
|
|
More precise clause garbage collection
|
|
0
|
379
|
March 8, 2020
|
|
New config file structure
|
|
0
|
1237
|
October 6, 2019
|
|
Logtalk 3.36.0 released
|
|
0
|
383
|
March 3, 2020
|
|
SWI Prolog client now available for conceptbase (updated w/ fixes)
|
|
0
|
866
|
February 25, 2020
|
|
CytoscapeJS in SWISH
|
|
0
|
837
|
January 24, 2020
|
|
Auto-generated Prolog from Excel-based Logic
|
|
0
|
529
|
February 15, 2020
|
|
Start of IEEE 754 support
|
|
0
|
2031
|
February 7, 2020
|
|
Pushed library(intercept)
|
|
0
|
1347
|
January 2, 2020
|
|
Yarn now uses tau-Prolog
|
|
0
|
1009
|
February 3, 2020
|
|
Proper rational numbers (prototype for testing)
|
|
0
|
3029
|
January 31, 2020
|