This paper investigates some semantic properties of concurrentlogiclanguages. Concurrentlogiclanguages with a commit operator differ from pure logiclanguages in the finitefailure set. Since the new finitefailure set depends on the computation rule, we define an operational semantics based on a parallel computation rule and a fair search rule. Failures with a parallel computation rule are shown to be strongly related to partial computed answer substitutions. The set of partial computed answer substitutions and the set of finitefailures are defined as the least fixpoint of a transformation on pairs of interpretations.
Falaschi, M., Levi, G. (1990). Finite failures and partial computations in concurrent logic languages. THEORETICAL COMPUTER SCIENCE, 75(1-2), 45-66 [10.1016/0304-3975(90)90061-L].
Finite failures and partial computations in concurrent logic languages
Falaschi M.;
1990-01-01
Abstract
This paper investigates some semantic properties of concurrentlogiclanguages. Concurrentlogiclanguages with a commit operator differ from pure logiclanguages in the finitefailure set. Since the new finitefailure set depends on the computation rule, we define an operational semantics based on a parallel computation rule and a fair search rule. Failures with a parallel computation rule are shown to be strongly related to partial computed answer substitutions. The set of partial computed answer substitutions and the set of finitefailures are defined as the least fixpoint of a transformation on pairs of interpretations.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/35842
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo