A Primitive for the Control of Logic Programs

Kenneth M. Kahn. A Primitive for the Control of Logic Programs. In SLP. pages 242-251, 1984.