A logical operational semantics of full Prolog

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 36-64
https://doi.org/10.1007/3-540-52753-2_31

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Algebraic operational semantics and Occam
Published by Springer Nature ,1990
A logical operational semantics of full Prolog
Published by Springer Nature ,1990
Denotational and operational semantics for prolog
The Journal of Logic Programming, 1988
Operational and denotational semantics of prolog
The Journal of Logic Programming, 1987
A denotational semantics for shared-memory parallelism and nondeterminism
Acta Informatica, 1985
On the formal description of PL/I
Annual Review in Automatic Programming, 1969