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)