On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog

Mats Carlsson. On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog. In ICLP. pages 3-16, 1989.

Abstract

Abstract is missing.