chickadee » mini-kanren » caro

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