BeBOP

language A language combining sequential and parallel logicprogramming, object-oriented and meta-level programming.

Both don't know nondeterminism and stream AND-parallelism.

Prolog theories are first order entities and may be

updated or passed in messages. BeBOP is implemented by

translation to NU-Prolog and PNU-Prolog.

.

E-mail: Andrew Davidson [email protected].

(1996-10-27)