Efficient Goal Directed Bottom-Up Evaluation of Logic Programs

Michael Codish. Efficient Goal Directed Bottom-Up Evaluation of Logic Programs. Journal of Logic and Algebraic Programming, 38(3):355-370, 1999.

Abstract

Abstract is missing.