Contributions to the semantics of logic perpetual processes (Q1113661)

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.