BeBOP
<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 <
[email protected]>.
