On the power of subsumption and context checks

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 131-140
https://doi.org/10.1007/3-540-52531-9_132

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Recursive query processing: the power of logic
Theoretical Computer Science, 1989
Efficient loop detection in prolog using the tortoise-and-hare technique
The Journal of Logic Programming, 1987
Foundations of Logic Programming
Published by Springer Nature ,1987
Controlling recursive inference
Artificial Intelligence, 1986
On eliminating loops in Prolog
ACM SIGPLAN Notices, 1985
Eliminating unwanted loops in Prolog
ACM SIGPLAN Notices, 1985
A note on simplification orderings
Information Processing Letters, 1979