BeBOP

A language combining sequential and parallel logic programming, object-oriented and meta-level programming. It includes both "don't know" nondeterminism and stream AND-parallelism. Prolog theories are first order entities and may be updated or passed in messages.