K. De Bosschere and J.-M. Jacquet. Multi-Prolog: Definition, Operational Semantics, and Implementation. In D.S. Warren, editor, Proceedings of the ICLP'93 Conference, pages 299--314, Budapest, Hungary, 1993. The MIT Press. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Composing Concurrent Logic Processes - Jacquet, De Bosschere (1995) (2 citations) Self-citation (De bosschere Jacquet) (Correct)
....by means of the tell primitive, which adds the told constraint to the store provided consistency is preserved, and by the ask primitive, which tests whether a given constraint is entailed by the current contents of the store. As another instance of this general scheme, we recently proposed in [4, 5] a framework called Log, where the cc set of primitives is enriched in two ways: on the one hand, by a get primitive, which removes a given argument from the data structure (called the blackboard) and on the other hand, by treating active processes like passive data on the blackboard i.e. by ....
K. De Bosschere and J.-M. Jacquet. Multi-Prolog: Definition, Operational Semantics, and Implementation. In D.S. Warren, editor, Proceedings of the ICLP'93 Conference, pages 299--314, Budapest, Hungary, 1993. The MIT Press.
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (1 citation) Self-citation (Jacquet) (Correct)
.... Supported by the Belgian National Fund for Scientific Research as a Senior Research Assistant. the current contents of the store. Primitives for non monotonically modifying the store are proposed in addition in [7] As a third example, in a new approach to parallelism in logic programming ([4, 6]) a blackboard is used as a means of communication between concurrent logic processes and is accessed by means of Linda like primitives putting, testing and removing both passive data structures and active processes from it. Finally, to conclude this non exhaustive list of examples, the ....
....inserted into logical formulae and consequently have separated the handling of resources and the derivation of logical formulae only at the conceptual level and not at the programming one. Examples of this trend include the tell and ask primitives of [27] and the blackboard primitives of [4] which may be inserted at any place inside clause bodies and queries. From a software engineering point of view, this is quite regrettable since one better separate different issues clearly, and, consequently here, separate resource handling and logical treatments clearly. This paper proposes an ....
[Article contains additional citation context not shown here]
K. De Bosschere and J.-M. Jacquet. Multi-Prolog: Definition, Operational Semantics, and Implementation. In D.S. Warren, editor, Proceedings of the ICLP'93 Conference, pages 299--314, Budapest, Hungary, 1993. The MIT Press.
Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (1 citation) Self-citation (Jacquet) (Correct)
....is preserved, and by the ask primitive, which tests whether a given constraint is entailed by the current contents of the store. Primitives for non monotonically modifying the store are proposed in addition in [7] As a third example, in a new approach to parallelism in logic programming ([6, 4]) a blackboard is used as means of communication between concurrent logic processes and is accessed by means of Linda like primitives putting, testing and removing both passive data structures and active processes from it. Finally, to conclude this non exhaustive list of examples, the synchronous ....
....inserted into logical formulae and consequently have separated the handling of resources and the derivation of logical formulae only at the conceptual level and not at the programming one. Examples of this trend include the tell and ask primitives of [27] and the blackboard primitives of [4] which may be inserted at any place inside clause bodies and queries. From a software engineering point of view, this is quite regrettable since one better separate different issues clearly, and, consequently here, separate resource handling and logical treatments clearly. This paper proposes an ....
[Article contains additional citation context not shown here]
K. De Bosschere and J.-M. Jacquet. Multi-Prolog: Definition, Operational Semantics, and Implementation. In D.S. Warren, editor, Proceedings of the ICLP'93 Conference, pages 299-- 314, Budapest, Hungary, 1993. The MIT Press.
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