The complexity of revising logic program
โ
Russell Greiner
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 237 KB
A rule-based program will return a set of answers to each query. An impure program, which includes the Prolog ut ``!'' and ``not@รA'' operators, can return dierent answers if its rules are re-ordered. There are also many reasoning systems that return only the ยฎrst answer found for each query; these