|
Pack Announce: probat - property based testing Prolog programs
|
|
0
|
114
|
April 13, 2024
|
|
Internal data representation changes in GIT version
|
|
0
|
233
|
April 6, 2024
|
|
New services online
|
|
0
|
178
|
February 23, 2024
|
|
Updated Liftcover
|
|
0
|
181
|
January 21, 2024
|
|
Htmx and end-to-end declarative web programming Stream
|
|
0
|
391
|
July 18, 2020
|
|
The Game of 24 puzzle
|
|
0
|
222
|
December 28, 2023
|
|
[CFP] HCVS24 - 11th Workshop on Horn Clauses for Verification and Synthesis - 7 April 2024 - Luxembourg
|
|
0
|
190
|
December 20, 2023
|
|
Linear and logistic regression
|
|
0
|
824
|
December 19, 2021
|
|
Neural network forward reasoning
|
|
0
|
148
|
December 11, 2023
|
|
Library directory structure change
|
|
0
|
170
|
December 8, 2023
|
|
[Call For Participation] Declarative and Minimalistic Computing devroom (Fosdem 2024), Brussels (Belgium), 04 February 2024
|
|
0
|
286
|
November 14, 2023
|
|
[Call For Participation] 3rd International Joint Conference on Learning and Reasoning (IJCLR 2023), Bari (Italy), 13-15 November 2023
|
|
0
|
236
|
October 27, 2023
|
|
Pack Ann: bio_db v4.3 + bio_db_repo v23.10.04
|
|
0
|
291
|
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
|
194
|
September 1, 2023
|
|
New Book: Second Edition of Foundations of Probabilistic Logic Programming
|
|
0
|
355
|
February 14, 2023
|
|
Probabilistic inference and sampling in pepl and bims
|
|
0
|
222
|
July 10, 2023
|
|
Pro2sql -- a lighweight prolog to SQL translator
|
|
0
|
710
|
July 2, 2023
|
|
[cfp] ilp 2023: extended deadlines
|
|
0
|
261
|
June 26, 2023
|
|
[CFP][ILP 2023] 32nd International Conference on Inductive Logic Programming - Remainder
|
|
0
|
319
|
June 21, 2023
|
|
DCG pack for the ninja build system
|
|
0
|
429
|
June 12, 2023
|
|
Yet another web applications tutorial
|
|
0
|
4231
|
April 21, 2019
|
|
Pack Ann: bio_db v4.2 + bio_db_repo v23.6.5 + bio_analytics v0.6
|
|
0
|
239
|
June 6, 2023
|
|
3rd International Joint Conference on Learning and Reasoning (IJCLR 2023) 13-15 November 2023, Bari, Italy
|
|
0
|
241
|
June 2, 2023
|
|
CFP: 32nd International Conference on Inductive Logic Programming
|
|
0
|
245
|
June 2, 2023
|
|
Senior bioinformatician position at the Pirbright Institute - UK
|
|
0
|
216
|
June 1, 2023
|
|
New library(macros)
|
|
0
|
509
|
May 24, 2023
|
|
The ALP Alain Colmerauer Prize (last option)
|
|
0
|
304
|
May 21, 2023
|
|
WASM updates
|
|
0
|
418
|
May 3, 2023
|
|
Thread-aware time/1
|
|
0
|
373
|
March 26, 2023
|