CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
|
|
0
|
594
|
January 13, 2022
|
Pack PASCAL
|
|
0
|
450
|
January 11, 2022
|
Bims 2.4
|
|
0
|
432
|
December 29, 2021
|
FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online
|
|
0
|
530
|
December 20, 2021
|
Package pac updated to 1.6.5
|
|
0
|
367
|
December 14, 2021
|
Turbo s(CASP)
|
|
0
|
518
|
November 29, 2021
|
Docker images for swipl and swipl/swish updated
|
|
0
|
388
|
December 1, 2021
|
New commandline parser
|
|
0
|
302
|
October 21, 2021
|
s(CASP) online
|
|
0
|
590
|
September 29, 2021
|
DES 6.7 Released
|
|
0
|
376
|
September 4, 2021
|
Pack Ann: pack_dnloads.pl script in b_real 0.7
|
|
0
|
359
|
September 2, 2021
|
Documentary about Alain Colmeraur
|
|
0
|
489
|
August 25, 2021
|
Functional macro expansion revised for pack pac-1.6.0
|
|
0
|
367
|
August 26, 2021
|
BornHack
|
|
0
|
291
|
August 15, 2021
|
TailwindCSS for Prolog
|
|
0
|
683
|
July 9, 2021
|
Takao Ozaki
|
|
0
|
329
|
July 9, 2021
|
Another R bridge
|
|
0
|
295
|
July 8, 2021
|
STOMP package
|
|
0
|
514
|
July 6, 2021
|
For those interested in parsing semver 2.0.0 strings: DCG
|
|
0
|
606
|
March 1, 2021
|
PackAnn: chess_db 1.0
|
|
0
|
587
|
June 18, 2021
|
Friday code drop: Transforming properly between atom, string, codelist and charlist
|
|
0
|
295
|
June 11, 2021
|
Spinx-Prolog for creating interactive Prolog books
|
|
0
|
473
|
February 28, 2021
|
What's a declarative language?
|
|
0
|
412
|
May 14, 2021
|
Changes in error handling
|
|
0
|
413
|
May 8, 2021
|
Announcing swipl-rs - a high-level interface to SWI-Prolog for rust
|
|
0
|
1342
|
May 6, 2021
|
Rclswi: a ROS2 client for SWI-prolog
|
|
0
|
676
|
April 20, 2021
|
Ludum Dare 48 Team SWI-Prolog
|
|
0
|
605
|
March 21, 2021
|
My Coursera "guided project" on Swish is now public
|
|
0
|
505
|
April 16, 2021
|
Partition number in ZDD
|
|
0
|
650
|
April 6, 2021
|
In other Logic Language News Polar raises 8.2M
|
|
0
|
621
|
March 17, 2021
|