N-Prolog

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

[J Logic Programming].

Try this search on Wikipedia, OneLook, Google

Nearby terms:

NP-hilarious « NPL « NPPL « N-Prolog » NP time » NP tricky » NQS

Loading