CiteULike Search Register Log in
CiteULike is a free online bibliography manager. Register and you can start organising your references online.

Tabled evaluation with delaying for general logic programs

by: Weidong Chen, David S. Warren
Journal of the ACM, Vol. 43, No. 1. (1996), pp. 20-74.

X Abstract

SLD resolution with negation as finite failure (SLDNF) reflects the procedural interpretation of predicate calculus as a programming language and forms the computational basis for Prolog systems. Despite its advantages in stack-based memory management, SLDNF is often not appropriate for query evaluation for three reasons: a) it may not terminate due to infinite positive recursion; b) it may not terminate due to infinite recursion through negation; and c) it may repeatedly evaluate the same...

View the full article here:

CiteSeerX Beta

This article has been bookmarked once, on 2008-03-18.

2008-03-18 User dherman
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.