slovodefinícia
negation by failure
(foldoc)		negation by failure

An extralogical feature of Prolog and other {logic
programming} languages in which failure of unification is
treated as establishing the negation of a relation. For
example, if Ronald Reagan is not in our database and we
asked if he was an American, Prolog would answer "no".

(1994-11-29)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4