Russ
You might enjoy finding out a bit more about Oz's heritage.
The search model is derived from the Andorra Kernel Language, which was
state-of-the-art Parallel Logic Programming in its time.
OK, it's not Prolog, but that's mainly 'cause it's addressing major
*weaknesses* in the Prolog SLD resolution model, especially wrt concurrency.
*Concurrent* Logic is the operative term here.
Check out "Logic Programming in the context of multiparadigm
programming: The Oz experience" (Van Roy, Brand, Duchier, Haridi, Henz
& Schulte 2002) and I think you will get a lot from it, especially
secton 7, "The Oz execution model"
Just because it's a great CP system doesn't mean it's not a great
Concurrent Logic system, too.
Alex
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
