chickadee
»
mini-kanren
»
membero
Identifier search
membero
x
l
procedure
Goal that unifies
x
with any member of the list
l
.