added url for canonical miniKanren implementation