|
New official twitter account - @PrologSWI
|
|
0
|
348
|
July 14, 2020
|
|
I Can't Write, but I Want To Tell A Story
|
|
0
|
526
|
June 30, 2020
|
|
Docker for building Windows version of SWI-Prolog
|
|
0
|
347
|
July 1, 2020
|
|
Twitter
|
|
0
|
233
|
June 28, 2020
|
|
Pack Ann: Real + proSQLite --- for SWI 8.2.0
|
|
0
|
1294
|
May 29, 2020
|
|
PrologHub launch: A community hub, a place to share, learn and keep up-to-date
|
|
0
|
612
|
May 17, 2019
|
|
Solution Code for the "Spinout" Puzzle
|
|
0
|
260
|
May 21, 2020
|
|
Functional geometry in prolog
|
|
0
|
448
|
May 19, 2020
|
|
Transformation Tools and simple optimiser
|
|
0
|
515
|
May 15, 2020
|
|
Crowd-Contributing a Prolog Cookbook ... an embryonic kernel
|
|
0
|
714
|
May 11, 2020
|
|
My first useful prolog application
|
|
0
|
300
|
April 28, 2020
|
|
Logtalk 3.38.0 released
|
|
0
|
270
|
April 28, 2020
|
|
Snap for SWI-Prolog available
|
|
0
|
658
|
April 20, 2020
|
|
DES 6.5 Released
|
|
0
|
402
|
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
|
257
|
April 7, 2020
|
|
Logtalk 3.37.0 released
|
|
0
|
318
|
April 2, 2020
|
|
SWI-Prolog Class
|
|
0
|
536
|
March 19, 2020
|
|
Experimental library for type-class-like polymorphic predicates
|
|
0
|
347
|
March 26, 2020
|
|
Available
|
|
0
|
215
|
March 19, 2020
|
|
Pack Ann: bio_db 3.1 + bio_db_repo 20.3.8 + lib 2.6
|
|
0
|
326
|
March 9, 2020
|
|
More precise clause garbage collection
|
|
0
|
270
|
March 8, 2020
|
|
New config file structure
|
|
0
|
888
|
October 6, 2019
|
|
Logtalk 3.36.0 released
|
|
0
|
249
|
March 3, 2020
|
|
SWI Prolog client now available for conceptbase (updated w/ fixes)
|
|
0
|
620
|
February 25, 2020
|
|
CytoscapeJS in SWISH
|
|
0
|
551
|
January 24, 2020
|
|
Auto-generated Prolog from Excel-based Logic
|
|
0
|
354
|
February 15, 2020
|
|
Start of IEEE 754 support
|
|
0
|
1524
|
February 7, 2020
|
|
Pushed library(intercept)
|
|
0
|
940
|
January 2, 2020
|
|
Yarn now uses tau-Prolog
|
|
0
|
714
|
February 3, 2020
|
|
Proper rational numbers (prototype for testing)
|
|
0
|
2331
|
January 31, 2020
|