chickadee » mini-kanren » appendo

appendo l s outprocedure

Goal that unifies two lists l and s with a list out, which is the two lists appended to one another.