Some Algorithms for Fast and Complete Execution of Logic Programs

Roland Olsson. Some Algorithms for Fast and Complete Execution of Logic Programs. In John Darlington, Roland Dietrich, editors, Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, pages 204-223, Springer, 1991.

Abstract

Abstract is missing.