Improving the execution speed of compiled Prolog with modes, clause selection, and determinism
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 111-125
- https://doi.org/10.1007/bfb0014976
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Improving the execution speed of compiled Prolog with modes, clause selection, and determinismPublished by Springer Nature ,1987
- Detection and optimization of functional computations in PrologPublished by Springer Nature ,1986
- Performance studies of a Prolog machine architectureACM SIGARCH Computer Architecture News, 1985
- Some global optimizations for a PROLOG compilerThe Journal of Logic Programming, 1985