An S(CASP) in-Browser Playground Based on Ciao Prolog
Guillermo García Pradales, Jose F. Morales, Manuel V. Hermenegildo, Joaquín Arias and Manuel CarroSLIDES
|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES
|
|