The Meaning of Logical Programs

Authors

  • Brian H. Mayoh

DOI:

https://doi.org/10.7146/dpb.v9i126.7647

Abstract

The semantics of a programming language are given by a function M from Programs to Meanings. In this paper we bring some uniformity into the definition of logical programming languages like LUCID and PROLOG by specifying M in Logic -> (Control -> Meanings). We describe how a context-free grammar can be assigned to each logical program and we identify Control with the language generated by the grammar. After this reduction there is no difference between the semantics of logical and conventional programming languages.

Author Biography

Brian H. Mayoh

Downloads

Published

1980-09-01

How to Cite

Mayoh, B. H. (1980). The Meaning of Logical Programs. DAIMI Report Series, 9(126). https://doi.org/10.7146/dpb.v9i126.7647

Issue

No. 126 (1980): PB-126 The Meaning of Logical Programs

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.