About the Announce category
|
|
0
|
332
|
February 4, 2019
|
PPDP 2022 - 3rd Call for Papers - deadline extended
|
|
0
|
25
|
May 18, 2022
|
Arrays and Prolog
|
|
0
|
88
|
May 6, 2022
|
PPDP 2022 - 2nd Call for Papers
|
|
0
|
58
|
May 5, 2022
|
Rolog - calling Prolog from R
|
|
7
|
233
|
April 27, 2022
|
clp(QR) examples and tests (anyone has contact with Christian?)
|
|
0
|
79
|
April 8, 2022
|
Swipl is now on msys2
|
|
0
|
89
|
March 24, 2022
|
Parsing text using a formal grammar
|
|
0
|
186
|
March 4, 2022
|
clp(QR) update of module names
|
|
0
|
98
|
March 1, 2022
|
Debug enhancements
|
|
0
|
92
|
February 17, 2022
|
International Travel Law database
|
|
0
|
142
|
February 16, 2022
|
Initial release of pack(automake)
|
|
0
|
199
|
February 10, 2022
|
[Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming
|
|
0
|
134
|
January 13, 2022
|
2022: The 9th Workshop on Probabilistic Logic Programming
|
|
0
|
104
|
January 13, 2022
|
MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming
|
|
0
|
116
|
January 13, 2022
|
GDE 2022: Workshop on Goal-directed Execution of Answer Set Programs
|
|
0
|
98
|
January 13, 2022
|
CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
|
|
0
|
89
|
January 13, 2022
|
Pack PASCAL
|
|
0
|
167
|
January 11, 2022
|
Bims 2.4
|
|
0
|
130
|
December 29, 2021
|
FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online
|
|
0
|
109
|
December 20, 2021
|
Linear and logistic regression
|
|
0
|
152
|
December 19, 2021
|
Package pac updated to 1.6.5
|
|
0
|
130
|
December 14, 2021
|
Turbo s(CASP)
|
|
0
|
221
|
November 29, 2021
|
Docker images for swipl and swipl/swish updated
|
|
0
|
123
|
December 1, 2021
|
Proposed StackExchange site for Proof Assistants
|
|
0
|
135
|
November 21, 2021
|
New commandline parser
|
|
0
|
144
|
October 21, 2021
|
s(CASP) online
|
|
0
|
215
|
September 29, 2021
|
DES 6.7 Released
|
|
0
|
148
|
September 4, 2021
|
Pack Ann: pack_dnloads.pl script in b_real 0.7
|
|
0
|
106
|
September 2, 2021
|
Documentary about Alain Colmeraur
|
|
0
|
249
|
August 25, 2021
|