microKanren implementation in Jsonnet