A logical operational semantics of full Prolog
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Algebraic operational semantics and OccamPublished by Springer Nature ,1990
- A logical operational semantics of full PrologPublished by Springer Nature ,1990
- Operational and denotational semantics of prologThe Journal of Logic Programming, 1987