I’ve mentioned my Prolog LSP implementation previously, but there’s been a significant update. The upcoming version of the LSP spec (3.16) is adding support for “semantic highlighting”, which allows the language server to add syntax highlighting to the code.
If you’re using an editor that supports the new version of the spec (I’ve tested it with the latest version of lsp-mode for emacs) please give it a try & let me know what you think! The biggest issue right now is that it is somewhat slow, so the highlighting can lag significantly.
This functionality was very easily built on top of SWI’s library(prolog_colours) – thanks for building such a great system Jan!