You are here: irt.org | FOLDOC | definite clause
<logic> A Horn clause that has exactly one positive literal.
(2000-01-24)
Nearby terms: Defense Information Systems Agency « Defense Trade Regulations « deferral « definite clause » definite sentence » definitional constraint programming » deflate
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