pakcs
There are 2 repositories under pakcs topic.
matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
fwcd/arch-pakcs-sicstus
Arch Linux package for the Portland Aachen Kiel Curry System (PAKCS) using SICStus Prolog
There are 2 repositories under pakcs topic.
Libraries for term rewriting and narrowing in Curry
Arch Linux package for the Portland Aachen Kiel Curry System (PAKCS) using SICStus Prolog