N-Prolog




Prolog extended with explicit negation.

Dov Gabbay <[email protected]>.

[J Logic Programming].





< Previous Terms Terms Containing N-Prolog Next Terms >
NPC
NP-complete
NP-hard
NPL
NPPL
 Open Prolog
 NP time
NQS
Nqthm
nr
NREN