playing with minikanren.