mith, . . . . enesereth, . . (19 ). rdering con unctive uenes. Artificial Intelligence, 26, 171 - 1 .

mith, . ., enesereth, . .,    insberg,      (19  ). ontrolling recursive inference.

Artificial Intelligence, 30 ( ),
9.

omog i, , enderson, , onwa , T, romage, , owd, T, e er , , al. (199 a).

tatus of the   ercur  s  stem. In Proc. of the JICSLP '96 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, pp.

7 1 , onn, erman ,
ooog i,  .,  enderson,  .,    onwa , T. (199 b). The e ecution algorithm of   ercur ,
ane cient purel declarative logic programming language. Journal of Logic Programming, 29 (1 ), 17 terling,  .,    hapiro,  . (199 ). The Art of Prolog ( econd edition).   IT   ress,   am bridge Tamaki, ., ato, T. (19 ). nfold/fold transformation of logic programs. In Tarnlund,
( d.), Proceedings of the Second International Conference on Logic Programming, pp. 1 7 1 ppsala, weden.

lman,  .  .,  Vardi,  .  . (19  ). The comple it  of ordering subgoals. In Proceedings of the Seventh ACM SIGACT-SIGMOD Symposium  on Principles of Database Systems, p. 7   1,  ustin, TX.       ress, New  ork.

lman, . . (19 ). Principles of Database Systems. omputer cience ress, ockville, Vasak, T.,    otter,  . (19 ).   etalogical control for logic programs. Journal of Logic Programming, 2 ( ),
arren, (191). C cient processing of interactive relational database ueries e pressed in logic. In aniola,     elobel ( ds.), Proceedings of the Ith International Conference on Very Large Data Bases, pp. 7     1, annes, rance. I
omputer ociet    ress.