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.