N-Prolog
Prolog extended with explicit negation. Dov Gabbay <[email protected]>. [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.
Loading
