Linear tabulated resolution for the well-founded semantics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1730, Issue , 1999, Pages 192-205

  Shen, Yi Dong ^a,b   Yuan, Li Yan ^b   You, Jia Huai ^b   Zhou, Neng Fa ^c  

^a CHONGQING UNIVERSITY   (China)

^b UNIVERSITY OF ALBERTA   (Canada)

^c CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); RECONFIGURABLE HARDWARE; SEMANTICS;

LINEAR APPROACH; LOGIC PROGRAMS; MEMORY STRUCTURE; REDUNDANT COMPUTATION; SOUND AND COMPLETE; TOP-DOWN EVALUATIONS; WELL FOUNDED SEMANTICS;

COMPUTER CIRCUITS;

EID: 84958673779     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46767-X_14     Document Type: Conference Paper

References (15)

1. Bol, R. N., Degerstedt, L.: Tabulated Resolution for the Well-Founded Semantics. Journal of Logic Programming 34:2 (1998) 67-109
2. Chen, W. D., Swift, T., Warren, D. S.: Efficient Top-Down Computation of Queries under the Well-Founded Semantics. Journal of Logic Programming 24:9 (1995) 161-199
3. Chen, W. D., Warren, D. S.: Tabled Evaluation with Delaying for General Logic Programs. J. ACM 43:9 (1996) 20-74
4. Lloyd, J. W.: Foundations of Logic Programming. 2nd edn. Springer-Verlag, Berlin (1987)
5. Przymusunski, T.: Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model. In: Proc. of the 8th ACM Symposium on Principles of Database Systems (1989) 11-21
6. Ross, K.: A Procedural Semantics for Well-Founded Negation in Logic Programs. Journal of Logic Programming 13:1 (1992) 1-22
7. Sagonas, K., Swift, T., Warren, D. S.: XSB as an Efficient Deductive Database Engine. In: Proc. of the ACM SIGMOD Conference on Management of Data. Minneapolis (1994) 442-453
8. Sagonas, K., Swift, T., Warren, D. S.: An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.ACM Transactions on Programming Languages and Systems 20:3 (1998)
9. Sagonas, K., Swift, T., Warren, D. S., Freire, J., Rao, P.: The XSB Programmer's Manual (Version 1.8) (1998)
10. Shen, Y. D.: An Extended Variant of Atoms Loop Check for Positive Logic Programs.New Generation Computing 15:2 (1997) 317-341
11. Shen, Y. D., Yuan, L. Y., You, J. H., Zhou, N. F.: Linear Tabulated Resolution Based on Prolog Control Strategy. Submitted for publication (1999)
12. Van Gelder, A., Ross, K., Schlipf, J.: The Well-Founded Semantics for General Logic Programs. J. ACM 38:3 (1991) 620-650
13. Van Gelder, A.: Negation as Failure Using Tight Derivations for General Logic Programs. Journal of Logic Programming 6:1&2 (1989) 109-133
14. Warren, D. H. D.: An Abstract Prolog Instruction Set. Technical Report 309, SRI International (1983)
15. Zhou, N. F.: Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ACM Transactions on Programming Languages and Systems 18:6 (1996) 752-779