VDict mobile



Prolog extended with explicit negation. Dov Gabbay
[J Logic Programming].