IvanIvanov / JavaScript-Logic-Programming-SystemLinks
A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Programs" .
☆22Updated 13 years ago
Alternatives and similar repositories for JavaScript-Logic-Programming-System
Users that are interested in JavaScript-Logic-Programming-System are comparing it to the libraries listed below
Sorting:
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆105Updated 9 months ago
- ☆46Updated 2 years ago
- prolog interpreter in javascript☆82Updated 8 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
- The best Prolog visualizer☆86Updated 2 years ago
- OMeta for JavaScript☆366Updated 12 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- Concurrency and Metaprogramming for JS☆262Updated 7 years ago
- A programming language design prototyping tool☆44Updated 10 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- Semantics for ES5☆82Updated 10 years ago
- Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy☆148Updated 5 years ago
- functional reactive programming for JavaScript☆235Updated 6 years ago
- a language for coordinating real-world interaction☆36Updated 14 years ago
- Shen on javascript.☆71Updated 7 years ago
- A toolkit for experimenting with new kinds of programming interfaces.☆198Updated 8 years ago
- ☆53Updated 5 years ago
- Lisp-style language that compiles to JavaScript☆130Updated last year
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- A programming language for young children☆109Updated 7 years ago
- a mini minikanren☆26Updated 12 years ago
- PoC code for "Deep Hypertext Implemented..."☆33Updated 7 years ago
- A little language for machines with speech acts☆110Updated 6 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
- miniKanren in the browser☆56Updated 9 years ago
- Datalog query engine for PouchDB.☆24Updated 10 years ago