N-Prolog

Technology Dictionary -> N-Prolog

Search:

N-Prolog



Prolog extended with explicit negation. Dov Gabbay .

[J Logic Programming].