curiosity-driven / prolog-interpreterLinks
Simple prolog interpreter using ES6 generators
☆62Updated 10 years ago
Alternatives and similar repositories for prolog-interpreter
Users that are interested in prolog-interpreter are comparing it to the libraries listed below
Sorting:
- prolog interpreter in javascript☆82Updated 8 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Javascript Parser Combinator Library☆147Updated 10 years ago
- The many experiments that have led to Eve in its current form☆64Updated 7 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Constraint library for JavaScript☆205Updated 5 years ago
- A simple Prolog interpreter written with javascript☆16Updated 8 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆66Updated 4 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Fork of HAMT with transactions and custom key types☆52Updated 8 years ago
- Logical programming in JavaScript☆15Updated 9 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 3 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆27Updated 12 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆200Updated 8 years ago
- Experiment in structural code editing☆104Updated last year
- Javascript Hash Array Mapped Trie☆253Updated 4 years ago
- Finite Domain Constraint Solver☆29Updated 8 years ago
- This is a library for "Overveld-style" constraint relaxation.☆69Updated 2 years ago
- miniKanren for JavaScript☆27Updated 2 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Updated 7 years ago
- Store immutable facts and query them with datalog.☆49Updated 2 years ago
- Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.☆75Updated 10 years ago
- ☆53Updated 5 years ago
- Request for Comments on changes to Eve☆28Updated 9 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- The Sentient Programming Language.☆82Updated 6 years ago
- Natural Language Datalog☆136Updated 8 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆94Updated 11 years ago