N-Prolog

Prolog extended with explicit negation. Dov Gabbay <[email protected]>.

[J Logic Programming].

Nearby terms:

NP-hardNP-hilariousNPLNPPLN-PrologNP timeNP trickyNQSNqthm

Try this search on Wikipedia, OneLook, Google


Loading