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á bibliografie

Vydáno 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í příspěvek
Jazyk:	angličtina
Vydáno:	IEEE Comput. Soc. Press 1992
Témata:	Computer science Logic programming Superluminescent diodes
ISBN:	9780818628122, 081862812X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!