guregu / trealla-js
Trealla Prolog for the web
☆50Updated 2 weeks ago
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☆47Updated this week
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆43Updated this week
- A projectional editor for JSON DSLs☆25Updated last year
- Trealla Prolog embedded in Go using WASM☆79Updated 2 weeks ago
- A Prolog library to connect to PostgreSQL databases☆98Updated last year
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- miniKanren for JavaScript☆26Updated last year
- Build UI declaratively with Datalog.☆134Updated 2 years ago
- The Coil Programming Language☆34Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆114Updated this week
- Use MiniZinc in the browser or with NodeJS☆41Updated last month
- A programming language and user interface toolkit for creating structured editors.☆19Updated 7 months ago
- A Djot implementation in Prolog☆24Updated last year
- JavaScript implementation of modified version of miniKanren☆33Updated 5 years ago
- Machine Query Interface☆18Updated this week
- ☆59Updated last year
- DocLog builds documentation from source code in Prolog☆27Updated 4 months ago
- Awesome datalog libraries, tools and resources☆60Updated 5 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 weeks ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆31Updated 2 weeks ago
- Polynomial-time Meta-Interpretive Learning☆120Updated 2 months ago
- Datalog in PostgreSQL☆28Updated 10 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- A Datalog-style database that enables programmers to represent facts using natural language☆52Updated 2 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆295Updated this week
- Straightforward unification in Python that's extensible via generic functions.☆50Updated 8 months ago
- SQLite extension library, written in Lua and C. Based on EAV/CR storage, implements most of data schema refactoring patterns and more☆17Updated 4 years ago
- ☆59Updated last year
- ☆78Updated last year
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year