Download

If you are involved, or you want to become involved, with the development, look at the following page. If you are interested in functional logic programming in general and in the work done at PSU, look at the following page.

This work has been supported in part by the NSF under grants INT-9981317, CCR-0110496, and CCR-0218224.

FLVM

• Download executable binary.
  Requires Java runtime.
• Download sources.
  Requires Java compiler and interpreter.

Curry2VM

• Download sources.
  Requires Pakcs, which in turn requires a Prolog compiler such as SICStus or SWI.

Home
antoy@cs.pdx.edu
Last updated: Wed Jan 24 16:23:25 PST 2007