added Scala miniKanren link