The Mercury Project
Related Projects

[Mercury Logo]
Home

News

Information

Documentation

Mailing Lists

Back-ends

Download

Related
  Applications
  MCORBA
  Contributing Code

Contact

Search

Bug Database

Related Projects

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 systems.