A minimal extension of the WAM for clp(FD)
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Translator-based multiparadigm programming
Journal of Systems and Software
High performance continuation passing style Prolog-to-C mapping
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Communications of the ACM
Implementation of Prolog as Binary Definite Programs
Proceedings of the First Russian Conference on Logic Programming
Program Transformations and WAM-Support for the Compilation of Definite Metaprograms
Proceedings of the First Russian Conference on Logic Programming
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
A Novel Term Compression Scheme and Data Representation in the BinWAM
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
A Portable and Efficient Implementation of KL1
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Hi-index | 0.00 |