Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan

Global SLS-resolution is a well-known procedural semantics for top-down computation of queries under the well-founded model. It inherits from SLDNF-resolution the {\em linearity} p…