N-Prolog
Prolog extended with explicit negation. Dov Gabbay <dg@doc.ic.ac.uk>. [J Logic Programming].Nearby terms:
NP-hilarious ♦ NPL ♦ npm ♦ NPPL ♦ N-Prolog ♦ NP time ♦ NP tricky ♦ NQS ♦ Nqthm
Try this search on Wikipedia, Wiktionary, Google, OneLook.
