A Partial Breadth-First Execution Model for Prolog

Jordi Tubella, Antonio González. A Partial Breadth-First Execution Model for Prolog. In ICTAI. pages 129-137, 1994.

Abstract

Abstract is missing.