A Prolog variant with guarded clauses and committed-choice nondeterminism (don't-care nondeterminism) by Ehud "Udi" Shapiro, Yale. A subset has been implemented, but not the full language. See also Mandala.