This plugin is the result of a master internship at the University of Würzburg. It uses the Language Server Protocol v2.x to provide a simple autocompletion for prolog in vim.
The plugin is splitted into three parts:
- The VIM plugin in
autoload
,ftdetect
andftplugin
. It handles the filetype, starts the python scripts and sets theomnifunc
for autocompletion. - The python part of the plugin in
script
. It is used start the language server and handles the communication. - The prolog language server in
script/server
. The server is used to analyze the prolog source files and provide a simple autocomplete functionality.
- SWI-Prolog (Tested with Version 6.6.6)
- A VIM-Version with python3 support.
Copy the directory to ~.vim/bundle/
and add the following line to your ~.vimrc
:
set runtimepath+=~/.vim/bundle/prolog-vim
You can also use a plugin manager like Vundle to install the plugin.
Plugin LukasLeppich/prolog-vim