A language combining sequential and parallel {logic programming}, {object-oriented} and {meta-level programming}. Both don' t know nondeterminism and stream AND-parallelism. PROLOGtheories 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 . (1996-10-27)