|
SWI-Prolog Solutions b.v
|
|
0
|
788
|
December 1, 2020
|
|
TerminusDB 4.0 - The Star's End Release
|
|
0
|
507
|
December 5, 2020
|
|
An experimental CGI page for playing around with basic operations on ZDD
|
|
0
|
420
|
November 19, 2020
|
|
Interesting new table records pack
|
|
0
|
775
|
October 16, 2020
|
|
Toward ZDD library in SWI-Prolog
|
|
0
|
1452
|
October 6, 2020
|
|
Ludum Dare 47
|
|
0
|
356
|
October 2, 2020
|
|
New standard package: a redis client
|
|
0
|
1280
|
October 2, 2020
|
|
I'm Available
|
|
0
|
571
|
August 20, 2020
|
|
Ann: Paper about Web Prolog
|
|
0
|
3615
|
August 27, 2019
|
|
Playing with Prolog - Train Consists
|
|
0
|
507
|
August 20, 2020
|
|
Please test branch no-local-references
|
|
0
|
889
|
August 17, 2020
|
|
New Course - Writing Chatbots That Don't Suck
|
|
0
|
845
|
August 9, 2020
|
|
You mean it's all horn clauses?
|
|
0
|
535
|
July 25, 2020
|
|
Prolog LSP now supports colours
|
|
0
|
1305
|
July 7, 2020
|
|
New official twitter account - @PrologSWI
|
|
0
|
515
|
July 14, 2020
|
|
I Can't Write, but I Want To Tell A Story
|
|
0
|
748
|
June 30, 2020
|
|
Docker for building Windows version of SWI-Prolog
|
|
0
|
570
|
July 1, 2020
|
|
Twitter
|
|
0
|
348
|
June 28, 2020
|
|
Pack Ann: Real + proSQLite --- for SWI 8.2.0
|
|
0
|
1868
|
May 29, 2020
|
|
PrologHub launch: A community hub, a place to share, learn and keep up-to-date
|
|
0
|
824
|
May 17, 2019
|
|
Solution Code for the "Spinout" Puzzle
|
|
0
|
523
|
May 21, 2020
|
|
Functional geometry in prolog
|
|
0
|
683
|
May 19, 2020
|
|
Transformation Tools and simple optimiser
|
|
0
|
732
|
May 15, 2020
|
|
Crowd-Contributing a Prolog Cookbook ... an embryonic kernel
|
|
0
|
970
|
May 11, 2020
|
|
My first useful prolog application
|
|
0
|
414
|
April 28, 2020
|
|
Logtalk 3.38.0 released
|
|
0
|
392
|
April 28, 2020
|
|
Snap for SWI-Prolog available
|
|
0
|
952
|
April 20, 2020
|
|
DES 6.5 Released
|
|
0
|
607
|
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
|
347
|
April 7, 2020
|
|
Logtalk 3.37.0 released
|
|
0
|
455
|
April 2, 2020
|