thetrime / proscript
A Javascript implementation of Prolog
☆16Updated 9 years ago
Alternatives and similar repositories for proscript:
Users that are interested in proscript are comparing it to the libraries listed below
- If at first you don't succeed☆12Updated 4 years ago
- ☆31Updated 2 months ago
- Simple Prolog to JS transpiler☆20Updated 12 years ago
- Poplog☆21Updated 14 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- stack-based RPN functional programming language☆53Updated 7 years ago
- Prolog and Java version of Facebook's React concept☆15Updated 4 years ago
- Markdown parser for SWI-Prolog.☆21Updated 4 years ago
- backup of the joy programming language☆30Updated 9 years ago
- SWI-Prolog dynamic C interface☆17Updated 6 months ago
- Metaprogramming framework for .net☆91Updated 5 years ago
- ☆21Updated 12 years ago
- an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…☆29Updated 8 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆119Updated 3 years ago
- Stackless Joy☆23Updated 2 months ago
- Scheme on SECD☆41Updated 4 years ago
- A minimal Forth VM and Compiler implemented in PostScript☆27Updated 13 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago
- Multi-platform desktop Forth based on Tcl/Tk☆69Updated 3 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- A lightweight recreational and educational language and an assembler for a hypothetical processor, inspired by Forth and Lisp.☆41Updated 2 months ago
- adds an optional type system to J language☆21Updated 9 years ago
- A Scheme (R7RS) implementation written in D☆59Updated 6 years ago
- Boolean Constraint Solving in Prolog☆41Updated 3 months ago
- A simple public-domain Forth implementation in C++☆58Updated 5 years ago
- ALS Prolog Compiler & Development Environment☆16Updated last month
- Portable Standard Lisp☆53Updated 3 years ago