Partial IPv6 support
|
|
0
|
342
|
February 6, 2023
|
Windows binaries: update of build platform to Fedora 37
|
|
0
|
219
|
February 2, 2023
|
ICLP 2023: Logic Programming, London (UK), 9-15 July 2023 (CFP)
|
|
0
|
952
|
November 16, 2022
|
Pack Ann: Stoics packs updates with bio_db and stoics_lib highlights
|
|
0
|
233
|
January 2, 2023
|
HCVS 2023 - First Call for Papers
|
|
0
|
284
|
December 19, 2022
|
Pack pac updated to pac-1.6.8
|
|
0
|
247
|
October 7, 2022
|
WLP @ KI2022: 2nd Call for Papers - New Late Submission Deadline
|
|
0
|
267
|
July 13, 2022
|
CGI pages for Channel Theory (Barwise-Selgman) are revived
|
|
0
|
314
|
July 4, 2022
|
Alpha-- support for UTF-16: emoji on Windows
|
|
0
|
503
|
June 29, 2022
|
Real 2.2
|
|
0
|
319
|
June 21, 2022
|
It is now possible to sponsor SWI-Prolog!
|
|
0
|
519
|
June 17, 2022
|
Introducing "Praxis" (WIP) - visual programming in Prolog
|
|
0
|
486
|
June 6, 2022
|
PPDP 2022 - 3rd Call for Papers - deadline extended
|
|
0
|
363
|
May 18, 2022
|
Arrays and Prolog
|
|
0
|
608
|
May 6, 2022
|
PPDP 2022 - 2nd Call for Papers
|
|
0
|
431
|
May 5, 2022
|
Rolog - calling Prolog from R
|
|
0
|
748
|
December 12, 2021
|
clp(QR) examples and tests (anyone has contact with Christian?)
|
|
0
|
355
|
April 8, 2022
|
Swipl is now on msys2
|
|
0
|
494
|
March 24, 2022
|
Parsing text using a formal grammar
|
|
0
|
1021
|
March 4, 2022
|
clp(QR) update of module names
|
|
0
|
317
|
March 1, 2022
|
Debug enhancements
|
|
0
|
330
|
February 17, 2022
|
International Travel Law database
|
|
0
|
406
|
February 16, 2022
|
Initial release of pack(automake)
|
|
0
|
555
|
February 10, 2022
|
[Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming
|
|
0
|
527
|
January 13, 2022
|
2022: The 9th Workshop on Probabilistic Logic Programming
|
|
0
|
626
|
January 13, 2022
|
MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming
|
|
0
|
452
|
January 13, 2022
|
GDE 2022: Workshop on Goal-directed Execution of Answer Set Programs
|
|
0
|
802
|
January 13, 2022
|
CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
|
|
0
|
568
|
January 13, 2022
|
Pack PASCAL
|
|
0
|
434
|
January 11, 2022
|
Bims 2.4
|
|
0
|
415
|
December 29, 2021
|