Muse

A language with OR-parallel logic programming.