How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Hi-index | 0.00 |