Mercury

A functional logic programming language

Links

• Language home page
• Guide to Mercury repository