|
Spinx-Prolog for creating interactive Prolog books
|
|
0
|
533
|
February 28, 2021
|
|
What's a declarative language?
|
|
0
|
448
|
May 14, 2021
|
|
Changes in error handling
|
|
0
|
458
|
May 8, 2021
|
|
Announcing swipl-rs - a high-level interface to SWI-Prolog for rust
|
|
0
|
1610
|
May 6, 2021
|
|
Rclswi: a ROS2 client for SWI-prolog
|
|
0
|
761
|
April 20, 2021
|
|
Ludum Dare 48 Team SWI-Prolog
|
|
0
|
671
|
March 21, 2021
|
|
My Coursera "guided project" on Swish is now public
|
|
0
|
539
|
April 16, 2021
|
|
Partition number in ZDD
|
|
0
|
738
|
April 6, 2021
|
|
In other Logic Language News Polar raises 8.2M
|
|
0
|
670
|
March 17, 2021
|
|
A videoclass I made for my students at the UNI (video-aula in Portuguese)
|
|
0
|
413
|
March 4, 2021
|
|
Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021)
|
|
0
|
554
|
March 20, 2021
|
|
Real's 500th + RealOS
|
|
0
|
409
|
February 18, 2021
|
|
Updated Web tutorial
|
|
0
|
924
|
May 19, 2020
|
|
Senior Research Engineer in Automated Reasoning
|
|
0
|
596
|
February 5, 2021
|
|
TUS in prolog
|
|
0
|
497
|
January 26, 2021
|
|
DES 6.6 Released
|
|
0
|
496
|
January 25, 2021
|
|
Using Logic Programming for Theory Representation and Scientific Inference
|
|
0
|
448
|
January 25, 2021
|
|
Logic Programming for Theory Representation and Scientific Inference in Psychology
|
|
0
|
658
|
January 25, 2021
|
|
World Logic Day
|
|
0
|
514
|
January 13, 2021
|
|
Music in Prolog
|
|
0
|
1368
|
January 7, 2021
|
|
SWI-Prolog Solutions b.v
|
|
0
|
806
|
December 1, 2020
|
|
TerminusDB 4.0 - The Star's End Release
|
|
0
|
513
|
December 5, 2020
|
|
An experimental CGI page for playing around with basic operations on ZDD
|
|
0
|
423
|
November 19, 2020
|
|
Interesting new table records pack
|
|
0
|
786
|
October 16, 2020
|
|
Toward ZDD library in SWI-Prolog
|
|
0
|
1460
|
October 6, 2020
|
|
Ludum Dare 47
|
|
0
|
362
|
October 2, 2020
|
|
New standard package: a redis client
|
|
0
|
1291
|
October 2, 2020
|
|
I'm Available
|
|
0
|
577
|
August 20, 2020
|
|
Ann: Paper about Web Prolog
|
|
0
|
3622
|
August 27, 2019
|
|
Playing with Prolog - Train Consists
|
|
0
|
510
|
August 20, 2020
|