Curry2VM
Appearance
Curry2VM is an implementation of Curry.
Other implementations of Curry.
Curry2VM is a compiler from Curry to the bytecode of the FLVM,a virtual machine for functional logic computations. It requires PAKCS, which in turn requires a Prolog compiler such as SICStus or SWI Prolog.