You are here: irt.org | FOLDOC | N-Prolog
Prolog extended with explicit negation. Dov Gabbay <dg@doc.ic.ac.uk>.
[J Logic Programming].
Nearby terms: NP-hilarious « NPL « NPPL « N-Prolog » NP time » NP tricky » NQS
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