The Execution Algorithm of Mercury, an Ecient Purely Declarative Logic Programming Language (1996)

by Z Somogyi, F Henderson, T Conway
Venue:Journal of Logic Programming