A New Formulation of Tabled Resolution with Delay

@inproceedings{citeulike:2751031, abstract = {. Tabling has become important to logic programming in part because it opens new application areas, such as model checking, to logic programming techniques. However, the development of new extensions of tabled logic programming is becoming restricted by the formalisms that underly it. Formalisms for tabled evaluations, such as SLG [3], are generally developed with a view to a specific set of allowable operations that can be performed in an evaluation. In the case of SLG, tabling...}, author = {Swift, Terrance }, booktitle = {Portuguese Conference on Artificial Intelligence}, citeulike-article-id = {2751031}, pages = {163--177}, posted-at = {2008-05-03 23:47:05}, priority = {3}, title = {A New Formulation of Tabled Resolution with Delay}, url = {http://citeseer.ist.psu.edu/swift99new.html}, year = {1999} }

TY - CONF ID - citeulike:2751031 L3 - citeulike-article-id:2751031 TI - A New Formulation of Tabled Resolution with Delay T2 - Portuguese Conference on Artificial Intelligence SP - 163 EP - 177 N2 - . Tabling has become important to logic programming in part because it opens new application areas, such as model checking, to logic programming techniques. However, the development of new extensions of tabled logic programming is becoming restricted by the formalisms that underly it. Formalisms for tabled evaluations, such as SLG [3], are generally developed with a view to a specific set of allowable operations that can be performed in an evaluation. In the case of SLG, tabling... AU - Swift, Terrance PY - 1999/// UR - http://citeseer.ist.psu.edu/swift99new.html ER -