The Meaning of Logical Programs
DOI:
https://doi.org/10.7146/dpb.v9i126.7647Resumé
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.Downloads
Publiceret
1980-09-01
Citation/Eksport
Mayoh, B. H. (1980). The Meaning of Logical Programs. DAIMI Report Series, 9(126). https://doi.org/10.7146/dpb.v9i126.7647
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.