today's work. Using core.logic for unification. Docs and work on recursive goals