On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses.
Danny De SchreyeMaurice BruynoogheKristof VerschaetsePublished in: Artif. Intell. (1989)
Keyphrases
- query processing
- query language
- horn clauses
- range queries
- web search engines
- exact learning
- database
- efficient processing
- database queries
- query logs
- logic programming
- response time
- expert systems
- first order logic
- retrieval systems
- web search
- knowledge representation
- query formulation
- search space
- pattern languages
- information retrieval