An Algorithm for Optimal Back-Striding in Prolog

Vishv M. Malhotra. An Algorithm for Optimal Back-Striding in Prolog. In ICLP. pages 147-158, 1990.

Abstract

Abstract is missing.