pakcs

Here are 2 public repositories matching this topic...

Libraries for term rewriting and narrowing in Curry

curry substitution unification rewriting narrowing critical-pairs pakcs kics2 definitional-trees

Arch Linux package for the Portland Aachen Kiel Curry System (PAKCS) using SICStus Prolog

archlinux prolog curry pakcs

To associate your repository with the pakcs topic, visit your repo's landing page and select "manage topics."