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

[J Logic Programming].