|
DCG pack for the ninja build system
|
|
0
|
428
|
June 12, 2023
|
|
Yet another web applications tutorial
|
|
0
|
4150
|
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
|
239
|
June 2, 2023
|
|
CFP: 32nd International Conference on Inductive Logic Programming
|
|
0
|
239
|
June 2, 2023
|
|
Senior bioinformatician position at the Pirbright Institute - UK
|
|
0
|
214
|
June 1, 2023
|
|
New library(macros)
|
|
0
|
484
|
May 24, 2023
|
|
The ALP Alain Colmerauer Prize (last option)
|
|
0
|
303
|
May 21, 2023
|
|
WASM updates
|
|
0
|
411
|
May 3, 2023
|
|
Thread-aware time/1
|
|
0
|
372
|
March 26, 2023
|
|
Prolog to GPT API
|
|
0
|
859
|
February 21, 2023
|
|
Partial IPv6 support
|
|
0
|
430
|
February 6, 2023
|
|
Windows binaries: update of build platform to Fedora 37
|
|
0
|
287
|
February 2, 2023
|
|
ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (CFP)
|
|
0
|
1058
|
November 16, 2022
|
|
Pack Ann: Stoics packs updates with bio_db and stoics_lib highlights
|
|
0
|
264
|
January 2, 2023
|
|
HCVS 2023 - First Call for Papers
|
|
0
|
325
|
December 19, 2022
|
|
Pack pac updated to pac-1.6.8
|
|
0
|
283
|
October 7, 2022
|
|
WLP @ KI2022: 2nd Call for Papers - New Late Submission Deadline
|
|
0
|
307
|
July 13, 2022
|
|
CGI pages for Channel Theory (Barwise-Selgman) are revived
|
|
0
|
366
|
July 4, 2022
|
|
Alpha-- support for UTF-16: emoji on Windows
|
|
0
|
570
|
June 29, 2022
|
|
Real 2.2
|
|
0
|
361
|
June 21, 2022
|
|
It is now possible to sponsor SWI-Prolog!
|
|
0
|
585
|
June 17, 2022
|
|
Introducing "Praxis" (WIP) - visual programming in Prolog
|
|
0
|
563
|
June 6, 2022
|
|
PPDP 2022 - 3rd Call for Papers - deadline extended
|
|
0
|
409
|
May 18, 2022
|
|
Arrays and Prolog
|
|
0
|
818
|
May 6, 2022
|
|
PPDP 2022 - 2nd Call for Papers
|
|
0
|
486
|
May 5, 2022
|
|
Rolog - calling Prolog from R
|
|
0
|
814
|
December 12, 2021
|
|
clp(QR) examples and tests (anyone has contact with Christian?)
|
|
0
|
415
|
April 8, 2022
|
|
Swipl is now on msys2
|
|
0
|
567
|
March 24, 2022
|
|
Parsing text using a formal grammar
|
|
0
|
1197
|
March 4, 2022
|