https://ccx.te2000.cz/git/jsonnet-microkanren