Formal specification of a prolog compiler
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 273-282
- https://doi.org/10.1007/3-540-50820-1_52
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Denotational and operational semantics for prologThe Journal of Logic Programming, 1988
- Operational and denotational semantics of prologThe Journal of Logic Programming, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- How to invent a Prolog machinePublished by Springer Nature ,1986
- Attribute coupled grammarsACM SIGPLAN Notices, 1984
- Logic programming and compiler writingSoftware: Practice and Experience, 1980