Delphi OR-parallel systems

Thread View: comp.lang.prolog

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Kino Coursey Thu, 07 Jan 1993 18:50

#2451

Author: Kino Coursey
Date: Thu, 07 Jan 1993 18:50

34 lines
2532 bytes

I just came accross an interesting model of exploiting OR-parallelism
in PROLOG code. As I am writting a PROLOG interperter for use in a
network enviroment (MS Windows/NT) I was wondering if anyone had any
information on progress, references or implementation of the Delphi
model. The Dephi model uses bit strings to specify a deterministic 
path in a non-deterministic program. These strings are called 
oracles and thus the name Delphi for entire model. Individual 
processors use the oracles to determine what path follow in a given 
program. Thus there is no communication of enviroments or bindings, 
just the control information needed to reconstruct a path. Since the 
model is so simple I am tempted to implement it if I could get more 
information. Two references I do have are:
[Alsh88a] Alshawi,w. and D.B. Moran," The Delphi Model and Some 
Preliminary Experiments", Fifth International Conference and 
Symposium on Logic Programming, pp.1578-1589 (15-19 Aug,1988)
[Cloc86a] Clocksin, W.F. and H. Alshawi, "A Method for Efficiently 
Executing Horn Clause Programs using Multiple Processors",New 
Generation Computing,5 (1988) pp.361-376
.
The method reminds me of Genetic Algorithms and work in chess on 
engines like HITECH or DEEP THOUGHT. It might be nice to have a 
quick parallel PROLOG machine for any MS Windows or OS/2 network.
    I am also intrested in want people would like in a SMALL 
interperter for the MS Windows enviroment and in general. I read 
some of the discussions on fast arrays, and even though it is 
non-logical and violates pure PROLOG I may include direct array 
facilites in my system. What else would you like ?
   And Does anyone have anything on CODERS PROLOG. I know its a C 
based PROLOG libarary but is it any good. How does it compare with 
more standard prologs?  And what are the requirements if you include
it in an embedded system ? royalties ?
                                            THANKS IN ADVANCE
                                            KINO COURSEY
 * Origin: The Interocitor*AI/Robotics*214-258-1832 (1:124/2206)

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads