Real 2.2
|
|
0
|
188
|
June 21, 2022
|
It is now possible to sponsor SWI-Prolog!
|
|
0
|
395
|
June 17, 2022
|
Introducing "Praxis" (WIP) - visual programming in Prolog
|
|
0
|
365
|
June 6, 2022
|
PPDP 2022 - 3rd Call for Papers - deadline extended
|
|
0
|
242
|
May 18, 2022
|
Arrays and Prolog
|
|
0
|
389
|
May 6, 2022
|
PPDP 2022 - 2nd Call for Papers
|
|
0
|
276
|
May 5, 2022
|
Rolog - calling Prolog from R
|
|
0
|
607
|
December 12, 2021
|
clp(QR) examples and tests (anyone has contact with Christian?)
|
|
0
|
259
|
April 8, 2022
|
Swipl is now on msys2
|
|
0
|
361
|
March 24, 2022
|
Parsing text using a formal grammar
|
|
0
|
743
|
March 4, 2022
|
clp(QR) update of module names
|
|
0
|
226
|
March 1, 2022
|
Debug enhancements
|
|
0
|
248
|
February 17, 2022
|
International Travel Law database
|
|
0
|
291
|
February 16, 2022
|
Initial release of pack(automake)
|
|
0
|
421
|
February 10, 2022
|
[Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming
|
|
0
|
395
|
January 13, 2022
|
2022: The 9th Workshop on Probabilistic Logic Programming
|
|
0
|
497
|
January 13, 2022
|
MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming
|
|
0
|
344
|
January 13, 2022
|
GDE 2022: Workshop on Goal-directed Execution of Answer Set Programs
|
|
0
|
635
|
January 13, 2022
|
CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
|
|
0
|
449
|
January 13, 2022
|
Pack PASCAL
|
|
0
|
333
|
January 11, 2022
|
Bims 2.4
|
|
0
|
299
|
December 29, 2021
|
FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online
|
|
0
|
389
|
December 20, 2021
|
Package pac updated to 1.6.5
|
|
0
|
266
|
December 14, 2021
|
Turbo s(CASP)
|
|
0
|
396
|
November 29, 2021
|
Docker images for swipl and swipl/swish updated
|
|
0
|
275
|
December 1, 2021
|
New commandline parser
|
|
0
|
234
|
October 21, 2021
|
s(CASP) online
|
|
0
|
502
|
September 29, 2021
|
DES 6.7 Released
|
|
0
|
291
|
September 4, 2021
|
Pack Ann: pack_dnloads.pl script in b_real 0.7
|
|
0
|
253
|
September 2, 2021
|
Documentary about Alain Colmeraur
|
|
0
|
391
|
August 25, 2021
|