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...

Celý popis

Podrobná bibliografia

Vydané v:	ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Ontario : proceedings s. 62 - 66
Hlavný autor:	Drabent, W.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE Comput. Soc. Press 1992
Predmet:	Computer science Logic programming Superluminescent diodes
ISBN:	9780818628122, 081862812X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!