ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Implementation of Tabled Evaluation with Delaying in Prolog.

R. Ramesh, Weidong Chen: Implementation of Tabled Evaluation with Delaying in Prolog. IEEE Trans. Knowl. Data Eng. 9(4): 559-574(1997)
@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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Weidong Chen: Extending Prolog with Nonmonotonic Reasoning. J. Log. Program. 27(2): 169-183(1996) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Weidong Chen, David Scott Warren: Query Evaluation under the Well Founded Semantics. PODS 1993: 168-179 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Weidong Chen, David Scott Warren: Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43(1): 20-74(1996) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Changguan Fan, Suzanne W. Dietrich: Extension Table Built-ins for Prolog. Softw., Pract. Exper. 22(7): 573-597(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Shinichi Morishita: An Alternating Fixpoint Tailored to Magic Programs. PODS 1993: 123-134 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Jeffrey F. Naughton, Raghu Ramakrishnan: Bottom-Up Evaluation of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 640-700 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Ulf Nilsson: Goal-directed Bottom-up Evaluation of Normal Logic Programs. ILPS 1993: 647 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: Controlling the Search in Bottom-Up Evaluation. JICSLP 1992: 273-287 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan: CORAL - Control, Relations and Logic. VLDB 1992: 238-250 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
...
[19]
Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
Laurent Vieille: Recursive Query Processing: The Power of Logic. Theor. Comput. Sci. 69(1): 1-53(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Mar 12 17:33:43 2010 by Michael Ley (ley@uni-trier.de)