Bad idea of the day: a minikanren in prolog