< language > A language combining sequential and parallel logic programming , 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 .
ftp://munnari.oz.au/pub/bebop.tar.Z .
E-mail: Andrew Davidson ad@cs.mu.oz.au .
(1996-10-27)