Not that I've seen yet, but the manual does include this passage: > Strand provides pattern matching but no general unification, instead logic variables must b

Not that I've seen yet, but the manual does include this passage: > Strand provides pattern matching but no general unification, instead logic variables must be explicitly assigned, which simplifies the semantics considerably.