Parsing and compiling using Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Prolog dialects: a deja vu of BASICs
ACM SIGPLAN Notices
A recursive interpreter for the Icon programming language
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
DALI-a knowledge base management system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Iteration for applicative languages
ACM SIGPLAN Notices
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parameter passing and control stack management in Prolog implementation revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
A direct execution PROLOG system
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Finite-Tree Analysis for Constraint Logic-Based Languages
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Expression evaluation in the icon programming language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Finite-tree analysis for constraint logic-based languages
Information and Computation
History of programming languages---II
Hi-index | 0.00 |