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.