oak-prolog 0.0.11

Prolog language parser with support for logic programming and declarative programming features.
Documentation
1
2
3
4
5
6
7
8
9
10
11
#![doc = include_str!("readme.md")]
use crate::lsp::PrologLanguageService;
use oak_vfs::MemoryVfs;

pub async fn serve_prolog_mcp(vfs: MemoryVfs) {
    let service = PrologLanguageService::new(vfs);
    let server = oak_mcp::McpServer::new(service);
    let reader = tokio::io::BufReader::new(tokio::io::stdin());
    let writer = tokio::io::BufWriter::new(tokio::io::stdout());
    server.run(reader, writer).await.unwrap()
}