guregu / trealla-js
Trealla Prolog for the web
☆44Updated last week
Alternatives and similar repositories for trealla-js:
Users that are interested in trealla-js are comparing it to the libraries listed below
- SWI-Prolog WebAssembly build as a NPM package☆42Updated this week
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆41Updated this week
- Use MiniZinc in the browser or with NodeJS☆33Updated this week
- A Prolog library to connect to PostgreSQL databases☆94Updated 8 months ago
- Straightforward unification in Python that's extensible via generic functions.☆46Updated 4 months ago
- Template engine for ISO Prolog, based on Jinja and Tera☆15Updated 11 months ago
- A projectional editor for JSON DSLs☆24Updated 9 months ago
- miniKanren for JavaScript☆25Updated last year
- Trealla Prolog embedded in Go using WASM☆79Updated last week
- DocLog builds documentation from source code in Prolog☆26Updated 2 weeks ago
- Leibniz - a Digital Scientific Notation☆33Updated last week
- Copies of prolog solvers for use from python☆17Updated 6 months ago
- A programming language and user interface toolkit for creating structured editors.☆19Updated 3 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 7 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Domain Specific Languages for Computational Law☆71Updated 3 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- A Djot implementation in Prolog☆23Updated last year
- ☆44Updated 2 months ago
- A live programming environment that lets you see the inner workings of programs☆78Updated 2 years ago
- The Coil Programming Language☆34Updated 9 months ago
- Machine Query Interface☆18Updated last week
- CHR2 to SQL conversion☆13Updated 9 years ago
- PostgreSQL Prolog language handler☆131Updated 9 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Build UI declaratively with Datalog.☆129Updated 2 years ago