DeMaCS-UNICAL / LoIDELinks
Web-based IDE for Logic Programming
☆25Updated 2 weeks ago
Alternatives and similar repositories for LoIDE
Users that are interested in LoIDE are comparing it to the libraries listed below
Sorting:
- ☆71Updated 5 years ago
- Prolog programming for the Java platform.☆39Updated last month
- Java-based lightweight Prolog virtual machine☆37Updated last year
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- A general framework for embedding Logic Programming in complex systems☆30Updated last year
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 10 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Updated 6 years ago
- ☆14Updated 5 years ago
- Java <-> XSB Prolog bridge library☆12Updated 5 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Prolog Pengines + vue.js☆17Updated 6 years ago
- Apply and compose functions in Prolog☆19Updated 9 years ago
- JPL: The Prolog <-> Java interface☆58Updated 2 weeks ago
- The Déjà Vu programming language☆15Updated 11 years ago
- Port of Aleph to SWI-Prolog☆52Updated 2 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Updated last month
- SWI-Prolog dynamic C interface☆17Updated last year
- SOMns: A Newspeak for Concurrency Research☆69Updated 11 months ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Updated 4 years ago
- Yes, Erlang in SWI-Prolog!☆12Updated 7 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 12 years ago
- ☆34Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- purple: compiling a reflective language☆33Updated last year
- An implementation of Oz on top of Truffle and Graal☆42Updated 4 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago