Muse

OR-parallel logic programming.

[Details?]