BeBOP

Search:

BeBOP

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 .

(1996-10-27)