a-yiorgos / smallprologLinks
Small Prolog
☆12Updated 8 years ago
Alternatives and similar repositories for smallprolog
Users that are interested in smallprolog are comparing it to the libraries listed below
Sorting:
- Poplog☆21Updated 14 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆10Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Updated 6 years ago
- Fast, simplified WAM-based Prolog system☆24Updated 2 months ago
- Boolean Constraint Solving in Prolog☆44Updated 7 months ago
- A concise programming language that is fun to use☆16Updated 9 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- ☆14Updated 4 years ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Updated 2 years ago
- ☆18Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- okami is an application development platform☆37Updated 11 months ago
- ☆19Updated 2 years ago
- Prolog Reverse Proxy☆19Updated 7 years ago
- s7 Scheme☆58Updated 6 years ago
- Pawns functional/imperative programming language compiler etc☆10Updated 3 months ago
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- a simple concatenative programming language written in C++☆35Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 6 months ago
- Finds optimal code sequences for stack transformations☆25Updated 6 years ago
- Prolog binding for terminusdb-store☆21Updated 3 years ago
- Scheme implementation suitable for microcontrollers☆8Updated 10 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆28Updated 3 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13Updated 9 years ago
- Art of Prolog Code☆36Updated 5 years ago
- SWI-Prolog dynamic C interface☆17Updated 10 months ago