N-Prolog

N-Prolog

Prolog extended with explicit negation. Dov Gabbay.

[J Logic Programming].