Module mini_kanren::goals::list

Functions

appendo	Creates a goal that succeeds if two lists can be appended two form a third.
caro	Creates a goal that succeeds if p is a pair and its first element is equivalent to a.
cdro	Creates a goal that succeeds if p is a pair and its second element is equivalent to d.
conso	Creates a goal that succeeds if p is equivalent to (a d).
lengtho	Creates a goal that succeeds if the list has length n.
listo	Creates a goal that succeeds if p is a list.
membero	Creates a goal that succeeds if l is a list that contains x.
pairo	Creates a goal that succeeds if p is a pair.
rembero	Creates a goal that succeeds if element x can be removed from list l to form list out. If x does not occur in l it fails.