chickadee » mini-kanren » cdro

Goal that unifies a logic variable representing a pair p with the cdr of that pair, d.