OLD resolution with tabulation

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

Volumn 225 LNCS, Issue , 1986, Pages 84-98

  Tamaki, Hisao ^a   Sato, Taisuke ^b  

^a IBARAKI UNIVERSITY   (Japan)

^b ELECTROTECHNICAL LABORATORY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; PROGRAM INTERPRETERS;

COMPLETE SEARCH; DEPTH FIRST; DEPTH FIRST SEARCH; INTERPRETATION METHODS; SEARCH SPACES; SEARCH STRATEGIES; SLD RESOLUTION;

LOGIC PROGRAMMING;

EID: 85034427623     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-16492-8_66     Document Type: Conference Paper

References (6)

1. Van Emden, M.H. and Kowalski, R.A. “The semantics of predicate logic as a programming languages”, Journal of the ACM 23, No.4, 1976.
2. Clark, K.L. “Predicate logic as a computational formalism”, Imperial College research monograph 79/59 TOC, December 1979.
3. Apt, K.R. and Van Emden, M.H. “Contributions to the theory of logic programming”, Journal of the ACM 29, No. 3, 1982.
4. Lloyd, J.W. Foundations of logic programming, Springer-Verlag, 1984.
5. Brough, D.R. and Walker, A. “Some practical properties of logic programming interpreters”, Proc. International Conference on FGCS 1984, Tokyo, Nov. 1984.
6. Bird, R.S. “Tabulation techniques for recursive programs”, Computing Surveys 12, No.4, 1980