What is failure? or: constructive negation by fail answers

A standard approach to negation in logic programming is negation as failure. Its major drawback is that it cannot produce answer substitutions to negated queries. Approaches to overcoming this limitation are termed constructive negation. The paper presents an approach based on construction of finite...

Full description

Bibliographic Details

Published in:	ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Ontario : proceedings pp. 62 - 66
Main Author:	Drabent, W.
Format:	Conference Proceeding
Language:	English
Published:	IEEE Comput. Soc. Press 1992
Subjects:	Computer science Logic programming Superluminescent diodes
ISBN:	9780818628122, 081862812X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!