BeBOP - Combines sequential and parallel logic programming, object-oriented
and meta-level programming. Both "dont know" nondeterminism and stream
AND-parallelism. Prolog theories are first order entities and may be
updated or passed in messages. Implemented by translation to NU-Prolog and
PNU-Prolog.
ftp://munnari.oz.au/pub/bebop.tar.Z
info: Andrew Davidson
Comments, Experience, Additions
Next Language: BEGL