N-Prolog

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

[J Logic Programming].


Loading