Tabled Evaluation With Delaying for General Logic Programs.

Weidong Chen, David Scott Warren: Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43(1): 20-74(1996)

@article{DBLP:journals/jacm/ChenW96,
  author    = {Weidong Chen and
               David Scott Warren},
  title     = {Tabled Evaluation With Delaying for General Logic Programs},
  journal   = {J. ACM},
  volume    = {43},
  number    = {1},
  year      = {1996},
  pages     = {20-74},
  ee        = {db/journals/jacm/ChenW96.html, http://doi.acm.org/10.1145/227595.227597},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Online Edition

Citation Page BibTeX

Referenced by

David B. Kemp, Kotagiri Ramamohanarao: Efficient Recursive Aggregation and Negation in Deductive Databases. IEEE Trans. Knowl. Data Eng. 10(5): 727-745(1998)
R. Ramesh, Weidong Chen: Implementation of Tabled Evaluation with Delaying in Prolog. IEEE Trans. Knowl. Data Eng. 9(4): 559-574(1997)
Weidong Chen: Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics. ACM Trans. Database Syst. 20(3): 239-287(1995)

BibTeX