|
About the Announce category
|
|
0
|
254
|
February 4, 2019
|
|
Proposed StackExchange site for Proof Assistants
|
|
0
|
66
|
November 21, 2021
|
|
New commandline parser
|
|
0
|
92
|
October 21, 2021
|
|
s(CASP) online
|
|
0
|
104
|
September 29, 2021
|
|
DES 6.7 Released
|
|
0
|
86
|
September 4, 2021
|
|
Pack Ann: pack_dnloads.pl script in b_real 0.7
|
|
0
|
50
|
September 2, 2021
|
|
Documentary about Alain Colmeraur
|
|
0
|
143
|
August 25, 2021
|
|
Functional macro expansion revised for pack pac-1.6.0
|
|
0
|
68
|
August 26, 2021
|
|
BornHack
|
|
0
|
76
|
August 15, 2021
|
|
TailwindCSS for Prolog
|
|
0
|
130
|
July 9, 2021
|
|
Takao Ozaki
|
|
0
|
115
|
July 9, 2021
|
|
Another R bridge
|
|
0
|
94
|
July 8, 2021
|
|
STOMP package
|
|
0
|
174
|
July 6, 2021
|
|
For those interested in parsing semver 2.0.0 strings: DCG
|
|
0
|
264
|
March 1, 2021
|
|
PackAnn: chess_db 1.0
|
|
0
|
105
|
June 18, 2021
|
|
Friday code drop: Transforming properly between atom, string, codelist and charlist
|
|
0
|
97
|
June 11, 2021
|
|
Spinx-Prolog for creating interactive Prolog books
|
|
0
|
222
|
February 28, 2021
|
|
What's a declarative language?
|
|
0
|
133
|
May 14, 2021
|
|
Changes in error handling
|
|
0
|
113
|
May 8, 2021
|
|
Announcing swipl-rs - a high-level interface to SWI-Prolog for rust
|
|
0
|
350
|
May 6, 2021
|
|
Rclswi: a ROS2 client for SWI-prolog
|
|
0
|
219
|
April 20, 2021
|
|
Ludum Dare 48 Team SWI-Prolog
|
|
0
|
208
|
March 21, 2021
|
|
My Coursera "guided project" on Swish is now public
|
|
0
|
245
|
April 16, 2021
|
|
Partition number in ZDD
|
|
0
|
176
|
April 6, 2021
|
|
In other Logic Language News Polar raises 8.2M
|
|
0
|
245
|
March 17, 2021
|
|
A videoclass I made for my students at the UNI (video-aula in Portuguese)
|
|
0
|
168
|
March 4, 2021
|
|
Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021)
|
|
0
|
244
|
March 20, 2021
|
|
ANN: DatalogF3 Toy Engine
|
|
0
|
227
|
February 25, 2021
|
|
Real's 500th + RealOS
|
|
0
|
159
|
February 18, 2021
|
|
Updated Web tutorial
|
|
0
|
371
|
May 19, 2020
|
