Goedel is a logic programming language, with a strong type system,
module system, and support for infinite precision numerical calculation
and meta-programming facilities.
Sisal is a high-performance portable parallel functional programming language.
Clean is a general purpose, higher order, pure and lazy functional
programming language. It uses uniqueness types which are similar to
Mercury's unique modes, and allows programmers to build distributed