N-Prolog

Prolog extended with explicit negation. Dov Gabbay <dg@doc.ic.ac.uk>.

[J Logic Programming].

Try this search on Wikipedia, OneLook, Google

Nearby terms: NP-hard « NPL « NPPL « N-Prolog » NP time » NQS » Nqthm