[http://web.cecs.pdx.edu/~antoy/homepage/download.html 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.