hargettp / prolog_lsp
Language Server for Prolog
☆10Updated last year
Alternatives and similar repositories for prolog_lsp:
Users that are interested in prolog_lsp are comparing it to the libraries listed below
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 2 years ago
- Write TAP tests with SWI-Prolog☆12Updated 2 years ago
- DocLog builds documentation from source code in Prolog☆26Updated 3 weeks ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆19Updated 6 months ago
- Prolog Pengines + vue.js☆17Updated 5 years ago
- Advanced support for working with RDF in Prolog.☆17Updated 4 months ago
- Refactoring Tools for SWI-Prolog☆20Updated last week
- Our Ludum Dare entry☆20Updated 7 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 2 months ago
- Clean extensible language for describing code, and human-language.☆9Updated 2 years ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- Prolog stuff☆26Updated 5 years ago
- ClioPatria provides an RDF application platform☆52Updated 10 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- If at first you don't succeed☆12Updated 4 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆15Updated 11 months ago
- The SWI-Prolog HTTP server and client libraries☆25Updated this week
- Prolog Reverse Proxy☆19Updated 6 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated 2 weeks ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆23Updated 2 months ago
- Prolog Slack Client☆7Updated 3 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year
- Interactive POetry Editor☆27Updated 3 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆11Updated 7 years ago
- A JavaScript runtime for the SNOBOL4 programming language☆18Updated 2 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 4 months ago
- ☆14Updated last year