From 6996470c0ed176ecf40322cce14fb8202b2746a4 Mon Sep 17 00:00:00 2001 From: github-actions Date: Tue, 29 Nov 2022 01:37:47 +0000 Subject: docs: update server_configurations.md skip-checks: true --- doc/server_configurations.md | 34 ++++++++++++++++++++++++++++++++++ doc/server_configurations.txt | 34 ++++++++++++++++++++++++++++++++++ 2 files changed, 68 insertions(+) diff --git a/doc/server_configurations.md b/doc/server_configurations.md index 13778761..c9a0eaee 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -121,6 +121,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [please](#please) - [powershell_es](#powershell_es) - [prismals](#prismals) +- [prolog_ls](#prolog_ls) - [prosemd_lsp](#prosemd_lsp) - [psalm](#psalm) - [puppet](#puppet) @@ -5119,6 +5120,39 @@ require'lspconfig'.prismals.setup{} ``` +## prolog_ls + + https://github.com/jamesnvc/lsp_server + + Language Server Protocol server for SWI-Prolog + + + +**Snippet to enable the language server:** +```lua +require'lspconfig'.prolog_ls.setup{} +``` + + +**Default values:** + - `cmd` : + ```lua + { "swipl", "-g", "use_module(library(lsp_server)).", "-g", "lsp_server:main", "-t", "halt", "--", "stdio" } + ``` + - `filetypes` : + ```lua + { "prolog" } + ``` + - `root_dir` : + ```lua + see source file + ``` + - `single_file_support` : + ```lua + true + ``` + + ## prosemd_lsp https://github.com/kitten/prosemd-lsp diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt index 13778761..c9a0eaee 100644 --- a/doc/server_configurations.txt +++ b/doc/server_configurations.txt @@ -121,6 +121,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [please](#please) - [powershell_es](#powershell_es) - [prismals](#prismals) +- [prolog_ls](#prolog_ls) - [prosemd_lsp](#prosemd_lsp) - [psalm](#psalm) - [puppet](#puppet) @@ -5119,6 +5120,39 @@ require'lspconfig'.prismals.setup{} ``` +## prolog_ls + + https://github.com/jamesnvc/lsp_server + + Language Server Protocol server for SWI-Prolog + + + +**Snippet to enable the language server:** +```lua +require'lspconfig'.prolog_ls.setup{} +``` + + +**Default values:** + - `cmd` : + ```lua + { "swipl", "-g", "use_module(library(lsp_server)).", "-g", "lsp_server:main", "-t", "halt", "--", "stdio" } + ``` + - `filetypes` : + ```lua + { "prolog" } + ``` + - `root_dir` : + ```lua + see source file + ``` + - `single_file_support` : + ```lua + true + ``` + + ## prosemd_lsp https://github.com/kitten/prosemd-lsp -- cgit v1.2.3-70-g09d2