You are here: irt.org | 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)
Nearby terms: NEC 780-C « needs assessment « neep-neep « negation by failure » negative acknowledgement » neighborhood bike code » NELIAC
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL