Muse

<language> OR-parallel logic programming.

[Details?]

(16 Mar 1995)