N-Prolog

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

[J Logic Programming].

Nearby terms:

NP-hardNP-hilariousNPLNPPLN-PrologNP timeNP trickyNQSNqthm

Try this search on Wikipedia, OneLook, Google


Loading