chickadee » mini-kanren » anyo

anyo goalprocedure

Goal that succeeds if goal succeeds.