Top-down and Bottom-up Evaluation Procedurally Integrated

David S. Warren

This paper describes how XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively. It is wel…