miniKanren for interactive tutorials on the web