N-Prolog

Prolog extended with explicit negation.

Dov Gabbay, Journal of Logic Programming.