Jupyter uses Codemirror for syntax highlighting. Unfortunately, clingo is not supported by Codemirror. I thought, that's fine, prolog will do since the syntax is quite similar. Nope, not supported either. So we need to provide our own codemirror file, somehow.
Based on this, from what i understand you just plop a kernel.js file with the custom codemirror code in the same folder where the extension is installed.
Jupyter uses Codemirror for syntax highlighting. Unfortunately, clingo is not supported by Codemirror. I thought, that's fine, prolog will do since the syntax is quite similar. Nope, not supported either. So we need to provide our own codemirror file, somehow.
Based on this, from what i understand you just plop a kernel.js file with the custom codemirror code in the same folder where the extension is installed.
I found swish's implementation of a prolog codemirror, but this for some reason does not work (I get 404 errors).
I think what we can do is try to develop our own codemirror file, perhaps based on a template from this repository.