On the existence of nonterminating queries for a restricted class of PROLOG-clauses
type: Item
instance of: scholarly article
title: On the existence of nonterminating queries for a restricted class of PROLOG-clauses
zbMATH Open document ID: 0689.68114
DOI: 10.1016/0004-3702(89)90012-X
author: Maurice Bruynooghe
author: Kristof Verschaetse
author: Danny De Schreye
published in: Artificial Intelligence
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68P20
zbMATH DE Number: 4130065
zbMATH Keywords: nonterminating queries
zbMATH Keywords: recursive predicates
zbMATH Keywords: rational trees
MaRDI profile type: Publication
cites work: Fundamental properties of infinite trees
cites work: Q3742749
cites work: On recursive axioms in deductive databases
cites work: Automating control for logic programs
cites work: Controlling recursive inference
cites work: Efficient loop detection in prolog using the tortoise-and-hare technique
description: scientific article; zbMATH DE number 4130065