Parsing and compiling using Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the transformation of logic programs with instantiation based computation rules
Journal of Symbolic Computation
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a semantic theory for equational programming languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Verifying termination and error-freedom of logic programs with block declarations
Theory and Practice of Logic Programming
Size-change termination with difference constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |