chickadee » mini-kanren » atomo

A tagged constraint goal that succeeds if-and-only-if a can be unified with an atom.