Mercury

Mercury is a logic programming language more declarative than Prolog.
--seaslug


This page is linked from: Linear Logic   Linearity 101   PL 101   Prolog   Type System