L. Monteiro. Distributed Logic, A Theory of Distributed Programming in Logic. Research report, Departamento de Inform'atica, Universidade de Lisboa, 2885 Monte da Caparica, Lisbon, Portugal, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Comparative semantics of µLog - De Bosschere, Jacquet (1992) (Correct)
....and compared. They range in the operational, declarative and denotational styles and are issued both from the imperative and logic programming traditions. To our best knowledge, semantics for Log have never been presented. The two closest works to our semantic study can be found in [5] and [18]. An operational semantics for Shared Prolog is described in the former. It is based on a true concurrency approach to parallelism inspired of [9] In contrast, our operational semantics takes a more conventional approach based on an interleaving perception of parallelism and on a transition ....
.... parallelism inspired of [9] In contrast, our operational semantics takes a more conventional approach based on an interleaving perception of parallelism and on a transition system in the (classical) lines of [19] A declarative and refutation trace semantics of distributed logic is presented in [18]. It has partly inspired our declarative semantics. However, the notions of background processes and blackboards are not tackled there and thus have received fresh treatments here. Furthermore, referring to our terminology, the semantics of one single Log foreground process is just described there ....
L. Monteiro. Distributed Logic, A Theory of Distributed Programming in Logic. Research report, Departamento de Inform'atica, Universidade de Lisboa, 2885 Monte da Caparica, Lisbon, Portugal, 1986.
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (1 citation) Self-citation (Monteiro) (Correct)
....are true actually depend on the considered world of resources. Moreover, because of the pre and post conditions, this world may have a non monotonic behavior and, because of the parallel composition inside pp goals it may be influenced by concurrent evaluations. Hence, following previous work [24, 3], an interpretation should define the truth of an atom not in absolute terms nor with respect to a given world of resources but with respect to traces reporting the successive states of this world. We are thus naturally lead to the following definitions. Convention 8. For any set S, the notation ....
L. Monteiro. Distributed Logic, A Theory of Distributed Programming in Logic. Research report, Departamento de Inform'atica, Universidade de Lisboa, 2885 Monte da Caparica, Lisbon, Portugal, 1986.
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (1 citation) Self-citation (Monteiro) (Correct)
....are true actually depend on the considered world of resources. Moreover, because of the pre and post conditions, this world may have a non monotonic behavior and, because of the parallel composition inside pp goals it may be influenced by concurrent evaluations. Hence, following previous work [24, 3], an interpretation should define the truth of an atom not in absolute terms nor with respect to a given world of resources but with respect to traces reporting the successive states of this world. We are thus naturally lead to the following definitions. Convention 8 For any set S, the notation ....
L. Monteiro. Distributed Logic, A Theory of Distributed Programming in Logic. Research report, Departamento de Inform'atica, Universidade de Lisboa, 2885 Monte da Caparica, Lisbon, Portugal, 1986.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC