About the Announce category
|
|
0
|
644
|
February 4, 2019
|
Yet another SQLite binding for SWI-Prolog
|
|
12
|
71
|
December 4, 2024
|
Updated search for Prolog installation
|
|
0
|
36
|
November 29, 2024
|
Package pac updated to 1.6.5
|
|
19
|
498
|
September 21, 2024
|
The 2024 Prolog Implementers Forum PIPs Workshop
|
|
1
|
119
|
September 26, 2024
|
Pack Announce: ltools - list manipulations in Prolog
|
|
0
|
51
|
September 3, 2024
|
Pack Ann: proSQLite 2.0
|
|
0
|
46
|
August 15, 2024
|
ICLP'24/LPNMR'24 Workshops and Doctoral Consortium: Call for Papers
|
|
0
|
35
|
July 15, 2024
|
Announcing swipl-nix
|
|
0
|
98
|
July 8, 2024
|
The 2024 Alain Colmerauer Prize
|
|
0
|
227
|
June 3, 2024
|
PhD position in Neuro-Symbolic Artificial Intelligence at the University of Ferrara, Italy
|
|
0
|
188
|
May 17, 2024
|
[ALP] ICLP 2024 - Final Call for Papers
|
|
0
|
138
|
April 29, 2024
|
Pack Announce: probat - property based testing Prolog programs
|
|
0
|
104
|
April 13, 2024
|
Internal data representation changes in GIT version
|
|
0
|
232
|
April 6, 2024
|
New services online
|
|
0
|
175
|
February 23, 2024
|
Updated Liftcover
|
|
0
|
181
|
January 21, 2024
|
Htmx and end-to-end declarative web programming Stream
|
|
0
|
388
|
July 18, 2020
|
The Game of 24 puzzle
|
|
0
|
195
|
December 28, 2023
|
[CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg
|
|
0
|
189
|
December 20, 2023
|
Linear and logistic regression
|
|
0
|
807
|
December 19, 2021
|
Neural network forward reasoning
|
|
0
|
146
|
December 11, 2023
|
Library directory structure change
|
|
0
|
168
|
December 8, 2023
|
[Call For Participation] Declarative and Minimalistic Computing devroom (Fosdem 2024), Brussels (Belgium), 04 February 2024
|
|
0
|
285
|
November 14, 2023
|
[Call For Participation] 3rd International Joint Conference on Learning and Reasoning (IJCLR 2023), Bari (Italy), 13-15 November 2023
|
|
0
|
231
|
October 27, 2023
|
Pack Ann: bio_db v4.3 + bio_db_repo v23.10.04
|
|
0
|
235
|
October 6, 2023
|
New version, v1.2, of pub_graph
|
|
0
|
237
|
September 20, 2023
|
Pack Ann: gg_lollipop/2 in b_real 1.0
|
|
0
|
193
|
September 1, 2023
|
New Book: Second Edition of Foundations of Probabilistic Logic Programming
|
|
0
|
339
|
February 14, 2023
|
Probabilistic inference and sampling in pepl and bims
|
|
0
|
222
|
July 10, 2023
|
Pro2sql -- a lighweight prolog to SQL translator
|
|
0
|
646
|
July 2, 2023
|