Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

N-Prolog

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

©2018 Martin Webb