|
clp(QR) update of module names
|
|
0
|
340
|
March 1, 2022
|
|
Debug enhancements
|
|
0
|
377
|
February 17, 2022
|
|
International Travel Law database
|
|
0
|
451
|
February 16, 2022
|
|
Initial release of pack(automake)
|
|
0
|
633
|
February 10, 2022
|
|
[Final CfP] ICLP 2022 - The 38th International Conference on Logic Programming
|
|
0
|
591
|
January 13, 2022
|
|
2022: The 9th Workshop on Probabilistic Logic Programming
|
|
0
|
690
|
January 13, 2022
|
|
MEandE-LP 2022: 2nd Workshop on Machine Ethics and Explainability-The Role of Logic Programming
|
|
0
|
508
|
January 13, 2022
|
|
GDE 2022: Workshop on Goal-directed Execution of Answer Set Programs
|
|
0
|
900
|
January 13, 2022
|
|
CAUSAL 2022: Fourth Workshop on Causal Reasoning and Explanation in Logic Programming
|
|
0
|
650
|
January 13, 2022
|
|
Pack PASCAL
|
|
0
|
485
|
January 11, 2022
|
|
Bims 2.4
|
|
0
|
477
|
December 29, 2021
|
|
FCube 4.1, a Prolog prover for Intuitionistic Propositional Logic, now online
|
|
0
|
571
|
December 20, 2021
|
|
Turbo s(CASP)
|
|
0
|
543
|
November 29, 2021
|
|
Docker images for swipl and swipl/swish updated
|
|
0
|
409
|
December 1, 2021
|
|
New commandline parser
|
|
0
|
327
|
October 21, 2021
|
|
s(CASP) online
|
|
0
|
620
|
September 29, 2021
|
|
DES 6.7 Released
|
|
0
|
403
|
September 4, 2021
|
|
Pack Ann: pack_dnloads.pl script in b_real 0.7
|
|
0
|
375
|
September 2, 2021
|
|
Documentary about Alain Colmeraur
|
|
0
|
553
|
August 25, 2021
|
|
Functional macro expansion revised for pack pac-1.6.0
|
|
0
|
388
|
August 26, 2021
|
|
BornHack
|
|
0
|
318
|
August 15, 2021
|
|
TailwindCSS for Prolog
|
|
0
|
722
|
July 9, 2021
|
|
Takao Ozaki
|
|
0
|
345
|
July 9, 2021
|
|
Another R bridge
|
|
0
|
319
|
July 8, 2021
|
|
STOMP package
|
|
0
|
535
|
July 6, 2021
|
|
For those interested in parsing semver 2.0.0 strings: DCG
|
|
0
|
650
|
March 1, 2021
|
|
PackAnn: chess_db 1.0
|
|
0
|
608
|
June 18, 2021
|
|
Friday code drop: Transforming properly between atom, string, codelist and charlist
|
|
0
|
315
|
June 11, 2021
|
|
Spinx-Prolog for creating interactive Prolog books
|
|
0
|
514
|
February 28, 2021
|
|
What's a declarative language?
|
|
0
|
443
|
May 14, 2021
|