A formal operational semantics for languages of type Prolog III

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 67-79
https://doi.org/10.1007/3-540-54487-9_52

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

A Logical Operational Semantics of Full Prolog: Part III. Built-In Predicates for Files, Terms, Arithmetic and Input-Output
Published by Springer Nature ,1992
An introduction to Prolog III
Communications of the ACM, 1990
A logical operational semantics of full Prolog
Published by Springer Nature ,1990
A logical operational semantics of full Prolog
Published by Springer Nature ,1990