🚀 go-pugleaf

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)