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:
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- prolog interpreter in javascript☆82Updated 8 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
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 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…☆93Updated last year
- ☆53Updated 5 years ago
- ☆46Updated 2 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 7 years ago
- Lisp-style language that compiles to JavaScript☆130Updated last year
- Alan Borning's graphical constraint solver from the late 70s, running on our Smalltalk-78 JavaScript VM.☆106Updated 10 months ago
- Shen on javascript.☆71Updated 7 years ago
- A simple Prolog interpreter written with javascript☆16Updated 8 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- OMeta for JavaScript☆366Updated 12 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- Chart parser (Earley SPPF)☆27Updated 7 years ago
- A programming language☆77Updated 12 years ago
- The best Prolog visualizer☆86Updated 3 years ago
- Creating programs from Markdown code blocks☆138Updated 3 years ago
- The many experiments that have led to Eve in its current form☆64Updated 6 years ago
- The Moby Scheme Compiler for Smartphones☆53Updated 13 years ago
- miniKanren in the browser☆56Updated 9 years ago
- An experimental DSL for handling state and updates, along with constraints, in Rosette.☆50Updated 6 years ago
- Compile-to-js and compile-to-c language, highly readable, keep it simple philosophy☆148Updated 5 years ago
- Minimalistic, functional, JSON-formatted programming language☆20Updated 8 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Updated 7 years ago
- scm->js☆22Updated 10 years ago