hargettp / prolog_lspLinks
Language Server for Prolog
☆11Updated 2 years ago
Alternatives and similar repositories for prolog_lsp
Users that are interested in prolog_lsp are comparing it to the libraries listed below
Sorting:
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- SWI-Prolog WebAssembly build as a NPM package☆51Updated this week
- Expert system with deductive querying and verification of constraints expressed in natural language☆20Updated last month
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last month
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 3 years ago
- SWI-Prolog ported to WebAssembly☆39Updated 7 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆18Updated last year
- SWI-Prolog OpenAPI (Swagger) support☆10Updated 8 months ago
- Prolog Pengines + vue.js☆17Updated 6 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Boolean Constraint Solving in Prolog☆43Updated 6 months ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 7 months ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated last month
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 9 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Racket parser for tree-sitter☆31Updated last month
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- SWI-Prolog plugin for the asdf version manager☆10Updated last year
- The SWI-Prolog HTTP server and client libraries☆26Updated last week
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆15Updated 4 years ago
- If at first you don't succeed☆12Updated 4 years ago
- A Jupyter kernel for Logtalk☆13Updated this week
- Yes, Erlang in SWI-Prolog!☆11Updated 7 years ago
- Standard ML Grammar for Tree-sitter☆24Updated 3 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago