Now showing items 1-1 of 1
A history-based scheme for accelerating Prolog interpretation
(Institute of Electrical and Electronics Engineers Computer Society (IEEE Publishing), 1989)
An algorithm for improving the performance of a Prolog interpreter is introduced. The algorithm, unlike the intelligent backtracking schemes which improve the performance by avoiding redundant redos, avoids redundant calls. ...