N-Prolog

Prolog extended with explicit negation.

Dov Gabbay <dg@doc.ic.ac.uk>.

[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

Web Standards & Support: