Top-down and Bottom-up Evaluation Procedurally Integrated
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000194
Abstract: Abstract This paper describes how the Logic Programming System XSB combines top-down and bottom-up computation through the mechanisms of variant tabling and subsumptive tabling with abstraction, respectively. It is well known that top-down evaluation of… read more here.
Keywords: evaluation procedurally; procedurally integrated; bottom; top bottom ... See more keywords