An Integrated Interpreter for Explaining Prolog s Successes and Failures

L. Ümit Yalçinalp, Leon Sterling. An Integrated Interpreter for Explaining Prolog s Successes and Failures. In META. pages 191-203, 1988.

Abstract

Abstract is missing.