Jean-Marie Jacquet, Luís Monteiro  Home/Search
Context Related
Links: DBLP | info.fundp.ac.be/pub/p...RP94027.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: info.fundp.ac.be/~j...conferences (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The PPL framework is proposed as a simple extension to logic programming aiming at handling resources. It is argued that the separation between logical treatments and resource handling is desirable and, to that end, resources are proposed to be manipulated by means of pre- and post-conditions associated with usual Horn clauses. The expressiveness of the resulting framework is evidenced through the coding of several applications involving objects, databases, actions and changes. Operational... (Update)
Context of citations to this paper: More
...as a second family, languages based on multi set rewriting. It is here worth noting that this approach has already been taken in [3, 11, 21]. Each communication primitive thus consists of a multi set of pre conditions and of a multi set of post conditions. Pre and post...
...structure, rather than returned in a list through a variable. In other words, programming in Lygon would seem to be resource oriented [15] rather than substitution oriented, in that it is easy to envisage input and output as formula, rather than terms. Note that the...
Cited by: More
On the Expressiveness of Coordination via Shared Dataspaces - Brogi, Jacquet (2000) (Correct)
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (Correct)
On the Expressiveness of Coordination Models - Brogi, Jacquet (1999) (Correct)
Active bibliography (related documents): More All
3.2: Towards Resource Handling in Logic Programming: the PPL.. - Jacquet, Monteiro (1996) (Correct)
0.6: On Composing Concurrent Logic Processes - Jacquet, De Bosschere (1995) (Correct)
0.5: Communicating Clauses: towards Synchronous Communication in.. - Jacquet, Monteiro (1992) (Correct)
Similar documents based on text: More All
0.1: Improving the Approximation and Convergence Capabilities of.. - Kwok, Yeung (1995) (Correct)
0.1: Regression Modeling in Back-Propagation and.. - Hwang, Lay.. (1994) (Correct)
0.1: A General Framework for Integrating HCLP and PCSP - Jampel, Jacquet, Gilbert (1996) (Correct)
Related documents from co-citation: More All
2: Future Generation Computer Systems Journal (context) - Jacquet, De Bosschere et al. - 1994
2: the Expressive Power of Programming Languages - Felleisen - 1990
2: Towards a hierarchy of negative test operators for generative communication - Zavattaro - 1998
BibTeX entry: (Update)
J.-M. Jacquet and L. Monteiro. Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. Computer Languages, 22(2/3):51-77, 1996. http://citeseer.ist.psu.edu/jacquet96towards.html More
@inproceedings{ jacquet94towards,
author = "Jean-Marie Jacquet and Luis Monteiro",
title = "Towards Resource Handling in Logic Programming: the {PPL} Framework and its Semantics",
booktitle = "{ICLP} Workshop: Process-Based Parallel Logic Programming",
pages = "38-53",
year = "1994",
url = "citeseer.ist.psu.edu/jacquet96towards.html" }
Citations (may not include all citations):344 Concurrent Constraint Programming (context) - Saraswat, Lincoln et al. - 1992 ACM DBLP
223 Linear Objects: Logical Processes with Built-in Inheritance - Andreoli, Pareschi - 1990 ACM
182 Logic for Problem Solving (context) - Kowalski - 1979 ACM
175 Nonmonotonic Logic and Temporal Projection (context) - Hanks, Dermott - 1987 ACM DBLP
128 Nonmonotonic Reasoning in the Framework of the Situation Cal.. - Baker - 1991
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1993 ACM
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Ciancarini et al. - 1991
83 The Logic of Persistence (context) - Kautz - 1986 DBLP
66 Generating Plans in Linear Logic (context) - Masseron, Tollu et al. - 1990 ACM DBLP
65 A New Deductive Approach to Planning (context) - Holldobler, Schneeberger - 1990 ACM DBLP
49 ACL --- A Concurrent Linear Logic Programming Paradigm - Kobayashi, Yonezawa - 1993
44 Representing Actions in Extended Logic Programming (context) - Gelfond, Lifschitz - 1992 DBLP
43 Representing Actions in Logic Programming and its Applicatio.. (context) - Dung - 1993 ACM DBLP
31 Equational Logic Programming (context) - Grofie, Holldobler et al. - 1992 ACM DBLP
21 Actions and Specificity - Holldobler, Thielscher - 1993 ACM DBLP
20 A Synchronization Logic: Axiomatics and Formal Semantics of .. (context) - Falaschi, Levi et al. - 1984 DBLP
19 Non-Monotonic Concurrent Constraint Programming (context) - de Boer, Kok et al. - 1993 ACM DBLP
16 And-Parallelism without Shared Variables (context) - Brogi - 1990 ACM DBLP
10 The AbstrAct Scheme for Concurrent Programming (context) - Porto, Rosado - 1993 ACM DBLP
5 Extended Horn Clauses: the Framework and its Semantics (context) - Jacquet, Monteiro - 1991
4 Communicating Clauses: the Framework and its Semantics (context) - Jacquet, Monteiro - 1992
3 A Theory of Distributed Programming in Logic (context) - Monteiro - 1986
3 Comparative Semantics of ¯log (context) - De Bosschere, Jacquet - 1992
3 Some Philosophical Problems from the Standpoint of Artificia.. (context) - Carthy, Hayes - 1969 ACM
3 Multi-Prolog: Definition (context) - De Bosschere, Jacquet - 1993
2 Applications of Circumscription to Formalizing Commonsense K.. (context) - Carthy - 1986
2 Situations and Actions and Causal Laws (context) - Carthy - 1963
Documents on the same site (http://www.info.fundp.ac.be/~jmj/Research/Publications/conferences.html): More
Modeling Coordination via Asynchronous Communication - Antonio Brogi And (1997) (Correct)
Communicating Clauses: towards Synchronous Communication in.. - Jacquet, Monteiro (1992) (Correct)
On Relating Blackboards in the µLog Coordination Model - Jacquet, De Bosschere (Correct)
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