Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
The power of partial tanslation: an experiment with the C-ification of binary Prolog
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects
CL '00 Proceedings of the First International Conference on Computational Logic
Binary Speed Up for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Chain programs for writing deterministic metainterpreters
Theory and Practice of Logic Programming
High-level networking with mobile code and first order AND-continuations
Theory and Practice of Logic Programming
Transformations of logic programs with goals as arguments
Theory and Practice of Logic Programming
A geometric interpretation of LD-resolution
Theoretical Computer Science - Logic, semantics and theory of programming
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Towards a logic programming infrastructure for internet programming
Artificial intelligence today
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Integrated symbol table, engine and heap memory management in multi-engine prolog
Proceedings of the international symposium on Memory management
Theory and Practice of Logic Programming - Prolog Systems
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
Prolog Cafe: a prolog to java translator system
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
| Hi-index | 0.00 |