pakcs

There are 0 repository under pakcs topic.

• matthesjh / rewriting-curry

  Libraries for term rewriting and narrowing in Curry

  critical-pairscurrydefinitional-treeskics2narrowingpakcsrewritingsubstitutionunification
  3

• fwcd / arch-pakcs-sicstus

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

  currypakcsarchlinuxprolog
  Language:Shell