lsp_server

lsp_server copied to clipboard

How to get documentation for local predicates?

1

Using the lsp-mode, I can get documentation for loaded system predicates, but I'm not sure how I should provide documentation for my own predicates so that they are discovered by...

meditans

example for scryer-prolog

2

i dont know how to configure vim to use scryer-prolog with this lsp

NyanHelsing

Documentation on hover not working in CoC

2

 For some reason, while I'm writing, I don't get common methods suggestions and documentation. Is there a way to fix this?

sicr0

Refactoring support

1

Possibly using [pack(refactor)](https://www.swi-prolog.org/pack/list?p=refactor)

jamesnvc

Make it Prolog dialect/implementation independent

1

Apart from SWI Prolog it might be helpful in case of other Prolog implementations. I am more interested in compatibility with [Scryer Prolog](https://github.com/mthom/scryer-prolog) but maybe some other users will want...

XVilka

Using https://www.swi-prolog.org/pldoc/doc/_SWI_/library/prolog_deps.pl

jamesnvc

Forked from #3

jamesnvc

Improved support for textDocument/publishDiagnostics

10

Contiunuing from #2 (LanguageClient) The main functionality I was looking for was to show the compilation errors with textDocument/publishDiagnostics; is that supported? If not, I have some code from someone...

erlanger

From #6

jamesnvc