Web-based IDE for Logic Programming
☆25Feb 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for LoIDE
Users that are interested in LoIDE are comparing it to the libraries listed below
Sorting:
- A general framework for embedding Logic Programming in complex systems☆30Mar 30, 2024Updated last year
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated last month
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- 🔮 A visualizer for JavaScript neural networks, deep learning and machine learning models☆15Jan 5, 2023Updated 3 years ago
- Prolog Pengines + vue.js☆17Mar 3, 2019Updated 7 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆15Aug 16, 2021Updated 4 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 3 years ago
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 3 years ago
- Yes, Erlang in SWI-Prolog!☆12Jun 18, 2018Updated 7 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago
- A simulation language☆21Dec 21, 2020Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆25Nov 29, 2018Updated 7 years ago
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 6 years ago
- A Jupyter kernel for Prolog☆24May 7, 2024Updated last year
- ☆24Feb 17, 2026Updated 2 weeks ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Feb 1, 2026Updated last month
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Graph Grammar Library☆26Jul 7, 2017Updated 8 years ago
- A charming general game player☆17Apr 20, 2010Updated 15 years ago
- SWI-Prolog ported to WebAssembly☆40Jun 21, 2018Updated 7 years ago
- A mostly ISO-compliant Prolog interpreter for Unity3D☆36Jul 25, 2017Updated 8 years ago
- Disassembled code of SPECTRUM micro-PROLOG T1.0☆36Nov 13, 2018Updated 7 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆46Dec 10, 2025Updated 2 months ago
- A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).☆10Dec 1, 2025Updated 3 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Thirdperson controller made in the .NET version of Godot 4.0 with C#☆14Mar 21, 2024Updated last year
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Quantum Annealing Prolog☆40Jan 25, 2022Updated 4 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated last week
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- 🖖 Prolog-style Logic Programming in pure R☆39Jun 12, 2020Updated 5 years ago
- ☆21May 28, 2024Updated last year
- A HTTP framework for storage and memory constraint environments (microcontrollers)☆31Jul 26, 2014Updated 11 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago