Mercury, logic programming language for the production of large systems. Overview, papers, and software available.

Information and resources for research in programming language theory, design, implementation, and related topics.