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:
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- A JavaScript AST optimizer☆18Updated 12 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Fork of HAMT with transactions and custom key types☆51Updated 8 years ago
- A simple Prolog interpreter written with javascript☆16Updated 7 years ago
- JavaScript implementation of modified version of miniKanren☆33Updated 6 years ago
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- ☆53Updated 4 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆65Updated 4 years ago
- Store immutable facts and query them with datalog.☆48Updated 2 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- Functional Zipper for manipulating JSON☆55Updated 6 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Implementation of the relational algebra☆37Updated 8 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- miniKanren for JavaScript☆26Updated last year
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- ☆12Updated 8 years ago
- Single repository for all packages related to Lucidity app☆13Updated 7 years ago
- Minimal command line client for literate programming☆26Updated 3 years ago
- A perfect minimal hash function generator☆63Updated 12 years ago
- A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.☆28Updated 11 years ago
- Datalog query engine for PouchDB.☆24Updated 9 years ago
- ramda logic☆44Updated 8 months ago
- Reactive Web Programming☆28Updated this week
- Port of microKanren to JavaScript.☆25Updated 3 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Enable latest ES features for LiveScript☆39Updated 5 years ago
- If at first you don't succeed☆12Updated 4 years ago