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
- Logical programming in JavaScript☆15Updated 9 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Finite Domain Constraint Solver☆29Updated 8 years ago
- A simple Prolog interpreter written with javascript☆16Updated 8 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Constraint library for JavaScript☆205Updated 4 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆65Updated 4 years ago
- The library component of literate-programming☆36Updated 3 years ago
- Javascript Hash Array Mapped Trie☆252Updated 3 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆198Updated 8 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- Implementation of the relational algebra☆37Updated 8 years ago
- Algebraic data types for JavaScript using Sweet.js macros☆94Updated 11 years ago
- Library for higher-order manipulation of collections☆179Updated 3 years ago
- ☆53Updated 4 years ago
- javascript s-expression parser with quote support☆59Updated 4 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- miniKanren for JavaScript☆27Updated 2 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Updated 2 years ago
- Creating programs from Markdown code blocks☆138Updated 3 years ago
- Unobtrusive, backwards compatible, syntactic sugar for Design by contract in JavaScript.☆74Updated 9 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- ramda logic☆44Updated last year
- Fork of HAMT with transactions and custom key types☆52Updated 8 years ago
- NO LONGER IN DEVELOPMENT☆27Updated 9 years ago
- Experiment in structural code editing☆103Updated last year