1. BeBOP A language combining sequential and parallel logic programming, object-oriented and meta-level programming. Both dont 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 mu. oz. au>.
bebop |
