An extension to horn clause logic allowing the definition of concurrent processes

Extended Horn clauses: the framework and some semantics

“…Horn clauses have already been presented. in similar forms in [2], (3], (4], (8), (10), (16), (17) and (19). The work reported.…”

“…For example, the clauses Ai + A2 +-Aa and Ai + A2 +-Aa + A., +As of Rose ( (3) From the semantic point of view, our work differs both from related work issued from the logic programming tradition and from the metric imperative tradition. To our best knowledge, semantics for extended Horn clauses have only been proposed in [2], (3), [10) and [16].…”

“…As can be appreciated from our semantic study, the use oft-contexts greatly simplifies the presentation of the semantic concepts of derivability and satisfiability. The declarative semantics presented here is also a clarified version of that presented in (16).…”

“…It differs from [16) by the use of a semantic variant of the considered program P that allows several independent reductions to occur at the same time. The denotational semantics Den has no counterpart in (3), (10) and [16).…”

“…It differs from [16) by the use of a semantic variant of the considered program P that allows several independent reductions to occur at the same time. The denotational semantics Den has no counterpart in (3), (10) and [16). Although it is of classical metric inspiration, it still presents some originality with related work ((6), [5), [14), ... ) which arises essentially from the two following points : i} our concern with extended.…”