摘要:
参考文章(10)
David S. Warren, Terrance Swift, An abstract machine for SLG resolution: definite programs international conference on logic programming. pp. 633- 652 ,(1994)
Konstantinos F. Sagonas, David Scott Warren, Terrance Swift, An abstract machine for computing the well-founded semantics international conference on logic programming. pp. 274- 288 ,(1996)
Ulrich Zukowski, Burkhard Freitag, Adding Flexibility to Query Evaluation for Modularly Stratified Databases. JICSLP. pp. 304- 318 ,(1996)
Maurice Bruynooghe, A practical framework for the abstract interpretation of logic programs Journal of Logic Programming. ,vol. 10, pp. 91- 124 ,(1991) , 10.1016/0743-1066(91)80001-T
Allen Gelder, Foundations of aggregation in deductive databases international conference on deductive and object-oriented databases. pp. 13- 34 ,(1993) , 10.1007/3-540-57530-8_2
Juliana Freire, Terrance Swift, David S. Warren, Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies international symposium on programming language implementation and logic programming. pp. 243- 258 ,(1996) , 10.1007/3-540-61756-6_89
Juliana Freire, Terrance Swift, David S Warren, None, Taking I/O Seriously: Resolution Reconsidered for Disk international conference on lightning protection. pp. 198- 212 ,(1997)
Catriel Beeri, Raghu Ramakrishnan, On the power of magic The Journal of Logic Programming. ,vol. 10, pp. 255- 299 ,(1991) , 10.1016/0743-1066(91)90038-Q
Jayen Vaghanl, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland, The aditi deductive database system very large data bases. ,vol. 3, pp. 245- 288 ,(1994) , 10.1007/BF01228882
Weidong Chen, David S Warren, None, Tabled evaluation with delaying for general logic programs Journal of the ACM. ,vol. 43, pp. 20- 74 ,(1996) , 10.1145/227595.227597