Please use this identifier to cite or link to this item: https://doi.org/10.1007/BF03037511
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. https://doi.org/10.1007/BF03037511
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
URI: http://scholarbank.nus.edu.sg/handle/10635/99439
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.

SCOPUSTM   
Citations

4
checked on Sep 18, 2018

WEB OF SCIENCETM
Citations

3
checked on Sep 18, 2018

Page view(s)

37
checked on Sep 14, 2018

Google ScholarTM

Check

Altmetric


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