|
About the Announce category
|
|
1
|
105
|
February 4, 2019
|
|
Prolog LSP now supports colours
|
|
1
|
8
|
July 7, 2020
|
|
I Can't Write, but I Want To Tell A Story
|
|
3
|
100
|
July 6, 2020
|
|
Docker for building Windows version of SWI-Prolog
|
|
3
|
62
|
July 3, 2020
|
|
Twitter
|
|
1
|
47
|
June 28, 2020
|
|
Pack Ann: Real + proSQLite --- for SWI 8.2.0
|
|
12
|
142
|
June 2, 2020
|
|
PrologHub launch: A community hub, a place to share, learn and keep up-to-date
|
|
8
|
255
|
May 22, 2020
|
|
Solution Code for the "Spinout" Puzzle
|
|
1
|
41
|
May 21, 2020
|
|
Transformation Tools and simple optimiser
|
|
10
|
121
|
May 20, 2020
|
|
Functional geometry in prolog
|
|
1
|
78
|
May 19, 2020
|
|
Updated Web tutorial
|
|
4
|
69
|
May 19, 2020
|
|
Crowd-Contributing a Prolog Cookbook ... an embryonic kernel
|
|
9
|
125
|
May 12, 2020
|
|
My first useful prolog application
|
|
1
|
101
|
April 28, 2020
|
|
Logtalk 3.38.0 released
|
|
1
|
48
|
April 28, 2020
|
|
Snap for SWI-Prolog available
|
|
14
|
128
|
April 22, 2020
|
|
Ann: Paper about Web Prolog
|
|
95
|
1798
|
April 11, 2020
|
|
DES 6.5 Released
|
|
7
|
88
|
April 11, 2020
|
|
CFP Final Call For Papers The 31st International Conference on Concurrency Theory – CONCUR 2020 - Vienna, Austria — ONLINE — September 1-4, 2020
|
|
1
|
65
|
April 7, 2020
|
|
Logtalk 3.37.0 released
|
|
1
|
68
|
April 2, 2020
|
|
SWI-Prolog Class
|
|
4
|
168
|
April 2, 2020
|
|
Experimental library for type-class-like polymorphic predicates
|
|
2
|
67
|
March 26, 2020
|
|
Available
|
|
1
|
51
|
March 19, 2020
|
|
Pack Ann: bio_db 3.1 + bio_db_repo 20.3.8 + lib 2.6
|
|
2
|
72
|
March 9, 2020
|
|
More precise clause garbage collection
|
|
1
|
73
|
March 8, 2020
|
|
Proper rational numbers (prototype for testing)
|
|
145
|
953
|
March 3, 2020
|
|
New config file structure
|
|
6
|
267
|
March 4, 2020
|
|
Logtalk 3.36.0 released
|
|
1
|
51
|
March 3, 2020
|
|
SWI Prolog client now available for conceptbase (updated w/ fixes)
|
|
6
|
188
|
February 28, 2020
|
|
CytoscapeJS in SWISH
|
|
3
|
120
|
February 21, 2020
|
|
Start of IEEE 754 support
|
|
46
|
467
|
February 17, 2020
|
