Contributions to the semantics of logic perpetual processes (Q1113661)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Contributions to the semantics of logic perpetual processes |
scientific article |
Statements
Contributions to the semantics of logic perpetual processes (English)
0 references
1988
0 references
This is a nicely written paper which presents a semantics for possibly infinite Horn clause computations. The semantics is based on the definition, given a finite set of clauses, of a continuous map on the cpo of infinite terms (used widely in initial algebra semantics [see \textit{J. A. Goguen}, \textit{J. W. Thatcher}, \textit{E. G. Wagner} and \textit{J. B. Wright}, J. Assoc. Comput. Mach. 24, 68-95 (1977; Zbl 0359.68018)]). The method presented here is shown inequivalent with either an operational semantics or a semantics based on greatest fixed points of \textit{M. H. van Emden} and \textit{M. A. Nait Abdallah} [J. Logic Program. 2, 67-75 (1985; Zbl 0592.68019)], and further work seems indicated.
0 references
logic programming
0 references
semantics
0 references
infinite Horn clause computations
0 references
initial algebra
0 references
0 references