Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Integrating the Completion and the Well Founded Semantics
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Hi-index | 0.00 |