prolog_lsp

KO | EN

gitlite — search

#anthropic #rust #php #tailwindcss #cloud-native #swift #automation #git #cli #cpp

(★ 13)

Language Server for Prolog

파일 탐색기

ZIP 다운로드

- devcontainer.json
- Dockerfile
- settings.json
- TESTING.md
- - client.pl
  - client.plt
  - connectors.pl
  - errors.pl
  - hooks.pl
  - methods.pl
  - protocol.pl
  - protocol.plt
  - server.pl
- - completions.pl
  - definitions.pl
  - docs.pl
  - documents.pl
  - indexing.pl
  - indexing.plt
  - lines.pl
  - lines.plt
  - profiles.pl
  - references.pl
  - terms.pl
- - bad_json.txt
  - crash.txt
  - echo.txt
  - echo_content_type.txt
  - invalid_request.txt
  - missing.txt
- base_language_profile.pl
- capabilities.pl
- errors.pl
- hover.pl
- language_client.pl
- language_client.plt
- language_server.pl
- logs.pl
- methods.pl
- pls_index.pl
- prolog_lsp.pl
- symbols.pl
- connectors.pl
- methods.pl
- servers.pl
.gitignore
a.out
AGENTS.md
LICENSE
load.pl
pack.pl
README.md
run.pl
test.pl

# CDN으로 사용하기

jsDelivr

jsDelivr는 공개 GitHub 리포지토리를 별도 설정 없이 CDN으로 즉시 서빙합니다. 버전과 파일을 고르면 웹페이지에 바로 붙일 수 있는 링크와 예시 코드가 만들어집니다.

버전

파일

링크

예시

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

An implementation of the [Language Server Protocol](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/) written in Prolog to support a language server for Prolog applications.

This is written for [SWI-Prolog](https://swi-prolog.org), and employs predicates specific to that implementation.

## Getting Started

There are 2 implementations within this package:

* `stdio` - it reads request from `stdin` and writes responses out to `stdout`, with logging and diagnostics on `stderr`. Eventually, this would be the backend for IDE or editors plugins (e.g., in VS Code).
* `tcp` - it creates a server on the specified port and listens for new connections, handling requests and responses on each connection in separate threads.

To load using the SWI-Prolog manager and download the latest tagged version, in a SWI-Prolog console type:

`pack_install(prolog_lsp)`

To load from a locally cloned copy of this repository:

`pack_install('.')`

### Run stdio server

Once installed, running the following lines will start a `stdio` language server in the same process as the SWI-Prolog console. Note that this call will not return until the server exits, a signal is fired, or Ctrl-C is hit.

```prolog
use_module(library(prolog_lsp)).
run_stdio_language_server.
```

### Run tcp server

Similar to the `stdio` server, these lines will run the TCP server locally on the specified port. Note that this call will return once the server starts in a separate threads, so it becomes possible to interact with the server in the same process. The port in this example is 3101, but the choice is arbitrary and can be available port number.

```prolog
use_module(library(prolog_lsp)).
start_tcp_language_server(3101)
```

## Developing

For development, the easiest path may be to clone the git repository, then run either the explicit local package installation above, or use the `test.pl` to both load the package and run its unit tests.

`[test]`

## Status

This project is very immature and not at all recommended for daily production use. Happy to discuss contributions!

prolog_lsp

오너의 다른 레포

파일 탐색기

# CDN으로 사용하기

Was this content helpful?

Recent Feedback

prolog_lsp

오너의 다른 레포

파일 탐색기

# CDN으로 사용하기

Was this content helpful?

Recent Feedback

Download README