A New Computation Rule for Prolog

Ashok Kumar, Vishv M. Malhotra. A New Computation Rule for Prolog. Inf. Process. Lett., 27(5):249-252, 1988. [doi]

Abstract

Abstract is missing.