The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language

Zoltan Somogyi
Thomas Conway
Journal of Logic Programming, 29 (1996), pp. 17-64

Abstract