Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach

Wolfram Burgard. Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach. In Logic Programming: Formal Methods and Practical Applications. pages 1-19, 1995.

Abstract

Abstract is missing.