Implementation of Tabled Evaluation with Delaying in Prolog.

@article{DBLP:journals/tkde/RameshC97,
  author    = {R. Ramesh and
               Weidong Chen},
  title     = {Implementation of Tabled Evaluation with Delaying in Prolog},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {4},
  year      = {1997},
  pages     = {559-574},
  ee        = {db/journals/tkde/RameshC97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1997 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

References

[1]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. J. Log. Program. 10(1/2/3&4): 255-299(1991)

[2]

Weidong Chen: Extending Prolog with Nonmonotonic Reasoning. J. Log. Program. 27(2): 169-183(1996)

[3]

Weidong Chen, Terrance Swift, David Scott Warren: Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24(3): 161-199(1995)

[4]

Weidong Chen, David Scott Warren: Query Evaluation under the Well Founded Semantics. PODS 1993: 168-179

[5]

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

[6]

Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990)

[7]

Changguan Fan, Suzanne W. Dietrich: Extension Table Built-ins for Prolog. Softw., Pract. Exper. 22(7): 573-597(1992)

[8]

David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302

[9]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7

[10]

Shinichi Morishita: An Alternating Fixpoint Tailored to Magic Programs. PODS 1993: 123-134

[11]

Jeffrey F. Naughton, Raghu Ramakrishnan: Bottom-Up Evaluation of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 640-700

[12]

Ulf Nilsson: Goal-directed Bottom-up Evaluation of Normal Logic Programs. ILPS 1993: 647

[13]

I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711

[14]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Controlling the Search in Bottom-Up Evaluation. JICSLP 1992: 273-287

[15]

Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250

[16]

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164

[17]

Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453

[18]

...

[19]

Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98

[20]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991)

[21]

Laurent Vieille: Recursive Query Processing: The Power of Logic. Theor. Comput. Sci. 69(1): 1-53(1989)