The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language

Zoltan Somogyi
Thomas Conway
ILPS Workshop: Implementation Techniques for Logic Programming Languages(1994)

Abstract

Research Areas