MiniKanren goals

Goals either succeed or fail