José C. Cunha, Pedro D. Medeiros, Manuel B. Carvalhosa, Luís Moniz Pereira  Home/Search
Context Related
| centria.di.fct.unl.pt/~lmp...wise.ps.gz 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: centria.di.fct.unl.pt/~l...Biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Delta Prolog is a logic programming language extending Prolog with constructs for sequential and parallel composition of goals, interprocess communication and synchronization, and external non-determinism. We present sequential and parallel search strategies for the language, based on the notion of derivations space. They rely upon distributed backtracking, a mechanism supporting the coordinated execution of multiple communicating Delta Prolog processes in their joint search for the solutions... (Update)
Context of citations to this paper: More
.... with explicit process creation and explicit communication [3] Some representatives of process based Prolog languages are Delta Prolog [4, 5], CS Prolog [6, 7, 8] and PMS Prolog [9] The roots of these languages reaches back into the middle eighties. Even recent blackboard...
...emerging from a long standing and slowly background evolution. Some representatives of Process based Prolog languages are Delta Prolog [CMCP92], CS Prolog [FF92] and PMS Prolog [WJH92] The roots of these languages reaches back to the middle eighties. Recent blackboard oriented...
Cited by: More
A Dynamic Task Distribution and Engine Allocation Strategy.. - Xirogiannis, Taylor (1998) (Correct)
CAP - Concurrent Action and Planning: Using.. - Schroeder, Marques, .. (1997) (Correct)
Process-based Parallel Logic Programming: A Survey of the.. - De Bosschere (1994) (Correct)
Active bibliography (related documents): More All
0.5: PVM-Prolog: A Prolog Interface to PVM - Cunha, Marques (1996) (Correct)
0.5: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.5: Distributed QoS Routing with Imprecise State Information - Chen, Nahrstedt (1998) (Correct)
Similar documents based on text: More All
0.2: Concurrent Object-Oriented Programming: Separation and Composition .. - Silva (Correct)
0.2: Parallel Logic Programming With Extensions - Pereira, Cunha, Damas (1995) (Correct)
0.1: Non-monotonic Extensions of Logic Programming: Theory.. - Dix, Pereira.. (1996) (Correct)
Related documents from co-citation: More All
4: coarse-grain-parallel prolog with processes (context) - Wise, Jones et al. - 1992
4: Implementation of distributed prolog (context) - Kacsuk, Wise - 1992
4: Communicating Sequential Processes (context) - Hoare - 1985
BibTeX entry: (Update)
J.C. Cunha, P.D. Medeiros, M.B. Carvalhosa, and L.M. Pereira. Delta prolog: A distributed logic programming language and its implementation on distributed memory multiprocessors. In P. Kacsuk and M.J. Wise, editors, Implementations of Distributed Prolog, pages 335--356. John Wiley, Chichester, 1992. http://citeseer.ist.psu.edu/cunha92delta.html More
@incollection{ cunha92deltaprolog,
author = "J. Cunha and P. Medeiras and M. Carvalhosa and L. Pereira",
title = "{DeltaProlog: A Distributed Logic Programming Language and Its Implementation on Distributed Memory Processors}",
booktitle = "Implementations of Distributed Prolog",
publisher = "Wiley",
editor = "P Kacsuk and M Wise",
pages = "335--356",
year = "1992",
url = "citeseer.ist.psu.edu/cunha92delta.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
484 A calculus of communicating systems (context) - Milner - 1980
395 An abstract Prolog instruction set (context) - Warren - 1983
32 Deduction revision by intelligent backtracking (context) - Bruynooghe, Pereira - 1984
18 Delta-Prolog: a distributed logic programming language (context) - Pereira, Nasr - 1984
13 Delta-Prolog: a distributed backtracking extension with even.. (context) - Pereira, Monteiro et al. - 1986
11 Selective backtracking (context) - Pereira, Porto - 1984
6 Programming in Delta Prolog (context) - Cunha, Ferreira et al. - 1989
4 Distributed Logic: a theory of distributed programming in lo.. (context) - Monteiro - 1986
4 Concurrency and communication in Delta Prolog (context) - Pereira, Monteiro et al. - 1988
3 Transputer environment to support heterogeneous systems in R.. (context) - Barata, Cunha et al. - 1990
2 concurrency and communication (context) - Francez, Hoare et al. - 1979
2 Termination detection for diffusion computations (context) - Dijsktra, Scholten - 1980
1 Delta prolog user's manual - version (context) - Cunha, Ferreira et al. - 1989
1 Interfacing Prolog to an operating system environment: mecha.. (context) - Cunha, Medeiros et al. - 1987
1 Concurrent execution of a logic programming language (context) - Cunha - 1988
1 A Logic for Distributed Processes (context) - Monteiro - 1983
1 Parallel logic programming for numerical applications (context) - Butler, Lusk et al. - 1986
1 Design and implementation of an abstract machine for Delta P.. (context) - Carvalhosa - 1991
Documents on the same site (http://centria.di.fct.unl.pt/~lmp/publications/Biblio.html): More
Belief Revision in Non-Monotonic Reasoning and Logic Programming - Alferes, Pereira (1996) (Correct)
Updating Temporal Knowledge Bases with the Possible Causes.. - Li, Pereira (1996) (Correct)
LUPS - a language for updating logic programs - Alferes, Pereira.. (1999) (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