awto / mfjs-logicLinks
Logical programming in JavaScript
☆15Updated 9 years ago
Alternatives and similar repositories for mfjs-logic
Users that are interested in mfjs-logic are comparing it to the libraries listed below
Sorting:
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- A simple Prolog interpreter written with javascript☆16Updated 8 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- miniKanren for JavaScript☆27Updated 2 years ago
- Fork of HAMT with transactions and custom key types☆52Updated 8 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Request for Comments on changes to Eve☆26Updated 9 years ago
- ☆53Updated 4 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆65Updated 4 years ago
- Javascript Parser Combinator Library☆147Updated 10 years ago
- JavaScript implementation of modified version of miniKanren☆34Updated 6 years ago
- ☆46Updated 2 years ago
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- Natural Language Datalog☆134Updated 7 years ago
- Tiny JavaScript implementation of context-free languages parser - Earley parser (including generation of the parsing-forest).☆122Updated 7 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- A JavaScript AST optimizer☆18Updated 12 years ago
- Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…☆92Updated last year
- FBP implementation written using JavaScript and node-fibers☆123Updated 4 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52Updated 6 years ago
- The Lively Projectional Editor is an implementation of a projectional editor for Lively 4. It offers a dual editing workflow: A text proj…☆16Updated 8 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 7 years ago
- Store immutable facts and query them with datalog.☆48Updated 2 years ago
- Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy☆148Updated 5 years ago