Curry2VM: Difference between revisions
Content added Content deleted
(created) |
mNo edit summary |
||
Line 2: | Line 2: | ||
[http://web.cecs.pdx.edu/~antoy/homepage/download.html Curry2VM] |
[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]]. |
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]]. |
Latest revision as of 13:10, 24 May 2010
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.