Prolog extended with explicit negation. Dov Gabbay <dg@doc.ic.ac.uk>.
[J Logic Programming].
Nearby terms: NP-hard « NPL « NPPL « N-Prolog » NP time » NQS » Nqthm
