Documentation of user-defined predicates in the prolog lsp-server

Thanks Jan, also tested the problem reported in Text help fails in some cases, and it is solved.