Please use this identifier to cite or link to this item:
Title: The Prolog not-predicate and negation as failure rule
Authors: Ling, T.W. 
Keywords: Clark's Query Evaluation Procedure
Extended Query Evaluation Procedure
Negation as Failure
Negative Formula
Prolog Not-Predicate
Issue Date: Mar-1990
Citation: Ling, T.W. (1990-03). The Prolog not-predicate and negation as failure rule. New Generation Computing 8 (1) : 5-31. ScholarBank@NUS Repository.
Abstract: Clark's query evaluation procedure for computing negative information in deductive databases using a "negation as failure" inference rule requires a safe computation rule which may only select negative literals if they are ground. This is a very restrictive condition, which weakens the usefulness of negation as failure in a query evaluation procedure. This paper studies the definition and properties of the "not" predicate defined in most Prolog systems which do not enforce the above mentioned condition of a safe computation rule. We show that the negation in clauses and the "not" Predicate of Prolog are not the same. In fact a Prolog program may not be in clause form. An extended query evaluation procedure with an extended safe computation rule is proposed to evaluate queries which involve the "not" predicate. The soundness and completeness of this extended query evaluation procedure with respect to a class of logic programs are proved. The implementation of such an extended query evaluation procedure in a Prolog system can be implemented by a preprocessor for executing range restricted programs and requires no modification to the interpreter/compiler of an existing Prolog system. We compare this proposed extended query evaluation procedure with the extended program proposed by Lloyd and Topor, and the negation constructs in NU-Prolog. The use of the "not" predicate for integrity constraint checking in deductive databases is also presented. © 1990 Ohmsha, Ltd. and Springer.
Source Title: New Generation Computing
ISSN: 02883635
DOI: 10.1007/BF03037511
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on Jan 18, 2021


checked on Jan 18, 2021

Page view(s)

checked on Jan 17, 2021

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.