chickadee » mini-kanren » =/=

=/= u vprocedure

Disequality goal. This goal succeeds if-and-only-if u and v are not unified. When used on fresh variables, ensures that u and v never unify.