We define a practical algorithm for distributed rational tree unification and prove its correctness in both the off-line and on-line cases. We derive the distributed algorithm from a centralized one, showing clearly the trade-offs between local and distributed execution. The algorithm is used to realize logic variables in the Mozart Programming System, which implements the Oz language (see
|
738
|
A machine-oriented logic based on the resolution principle
– Robinson
- 1965
|
|
655
|
Constraint Logic Programming: A Survey
– Jaffar, Maher
- 1994
|
|
408
|
Concurrent constraint programming
– Saraswat
- 1993
|
|
357
|
Multilisp: A language for concurrent symbolic computation
– Halstead
- 1985
|
|
287
|
The Oz programming model
– Smolka
- 1995
|
|
264
|
The family of concurrent logic programming languages
– Shapiro
- 1989
|
|
230
|
Introduction to Distributed Algorithms
– Tel
- 1994
|
|
204
|
Programming languages for distributed computing systems
– Bal, Steiner, et al.
- 1989
|
|
125
|
Fundamental properties of infinite trees
– Courcelle
- 1983
|
|
114
|
The C++ Programming Language: Third Edition
– Stroustrup
- 1997
|
|
109
|
Concurrent Programming in Java
– Lea
- 2000
|
|
81
|
Prolog and infinite trees
– Colmerauer
- 1982
|
|
62
|
Java Language Specification, Addison-Wesley Pub Co
– Joy
- 2000
|
|
51
|
1983-1993: The Wonder Years of Sequential Prolog Implementation
– Roy
- 1994
|
|
48
|
Programming constraint inference engines
– Schulte
- 1997
|
|
48
|
Dataflow machine architecture
– Veen
- 1986
|
|
41
|
Distributed Operating Systems & Algorithms
– Chow, Johnson
- 1997
|
|
38
|
High Performance Prolog Implementation
– Taylor
- 1991
|
|
37
|
Programming languages for distributed applications
– Haridi, Roy, et al.
- 1998
|
|
34
|
Mobile objects in distributed oz
– Roy, Haridi, et al.
|
|
31
|
An overview of the design of Distributed Oz
– Haridi, Roy, et al.
- 1997
|
|
28
|
Data structures
– Mehlhorn, Tsakalidis
- 1990
|
|
26
|
Understanding CORBA: The Common Object Request Broker Architecture
– Otte, Patrick, et al.
- 1996
|
|
25
|
I-Structures: An efficient data type for functional languages
– Arvind, Thomas
- 1980
|
|
24
|
Representing Type Information in Dynamically Typed Languages
– Gudeman
- 1993
|
|
23
|
Parallel Machines: Parallel Machine Languages
– Iannucci
- 1990
|
|
17
|
Objects for Concurrent Constraint Programming, volume 426 of The Kluwer
– Henz
- 1997
|
|
16
|
A higher-order module discipline with separate compilation, dynamic linking, and pickling
– Duchier, Kornstaedt, et al.
- 1998
|
|
15
|
Problem solving with constraints and programming
– Smolka
- 1996
|
|
15
|
Concurrent constraint programming based on functional programming, Programming Languages and Systems
– Smolka
- 1998
|
|
14
|
The Oz Virtual Machine: Records, Transients, and Deep Guards. Doctoral dissertation
– Mehl
- 1999
|
|
10
|
PERDIO---Persistent and distributed programming in Oz. BMBF project proposal. Available at http://www.ps.uni-sb.de
– Smolka, Schulte, et al.
- 1995
|
|
9
|
A Survey of Distributed Garbage Collection Techniques
– D, Shapiro
|
|
9
|
On the Separation of Concerns in Distributed Programming: Application to Distribution Structure and fault Tolerance in Mozart
– Roy
- 1999
|
|
9
|
Applied Logic--Its Use and Implementation as a Programming Tool
– Warren
- 1977
|
|
8
|
Efficient implementation of unification of cyclic structures
– Haridi, Sahlin
- 1984
|
|
8
|
Objects in Oz
– Henz
- 1997
|
|
8
|
Futures and By-need Synchronization for Oz
– Mehl, Schulte, et al.
- 1998
|
|
7
|
Situated simplification
– Podelski, Smolka
- 1995
|
|
7
|
A lightweight reliable object migration protocol
– Roy, Brand, et al.
- 1999
|
|
6
|
A distributed implementation of Flat GHC on the Multi-PSI
– Ichiyoshi, Miyazaki, et al.
- 1987
|
|
5
|
DRL: A Distributed Real-time Logic Language
– Diaz, Rubio, et al.
- 1997
|
|
4
|
Le protocole r'eparti de Distributed Oz (in French
– Alouini, Roy
- 1999
|
|
4
|
Parallel implementation of Parlog
– Foster
- 1988
|
|
4
|
KLIC: A portable implementation of KL1
– Fujise, Chikayama, et al.
- 1994
|
|
4
|
Improving distributed unification through type analysis
– Lamma, Mello, et al.
- 1997
|
|
3
|
The Mozart programming system (Oz 3). Available at http://www.mozart-oz.org
– Consortium
- 1999
|
|
3
|
Distributed memory implementation of KLIC
– Rokusawa, Nakase, et al.
- 1996
|
|
2
|
DFKI Oz version 2.0. Available at http://www.ps.uni-sb.de
– Oz
- 1998
|
|
2
|
Logic programming based on a natural deduction system
– Haridi
- 1981
|
|
