didoudiaz / gprolog
GNU Prolog
☆117Updated last year
Alternatives and similar repositories for gprolog:
Users that are interested in gprolog are comparing it to the libraries listed below
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆297Updated 4 months ago
- A compact, efficient Prolog interpreter written in plain-old C.☆289Updated this week
- Constraint Logic Programming over Integers☆191Updated last year
- CLP(BNR) module for SWI-Prolog☆40Updated last week
- The NIAL language environment☆112Updated 2 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆138Updated 3 months ago
- ☆51Updated 2 weeks ago
- Embeddable Lambda Prolog Interpreter☆304Updated this week
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Logtalk - declarative object-oriented logic programming language☆440Updated this week
- Some notes taken while working on Prolog☆161Updated last year
- Top-down interpreter for ASP programs with Constraints☆29Updated 4 months ago
- Discuss future development☆21Updated 9 years ago
- a practical Scheme compiler☆148Updated last week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated last month
- ☆32Updated 2 years ago
- Shen for Common Lisp (Unmaintained)☆127Updated 10 months ago
- Manfred von Thun's Programming Language Joy☆90Updated 2 months ago
- DocLog builds documentation from source code in Prolog☆26Updated 2 months ago
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆229Updated last week
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 8 months ago
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆153Updated 11 months ago
- An APL interpreter written in JavaScript. Runs in a browser or NodeJS.☆57Updated 9 months ago
- Maru - a tiny self-hosting lisp dialect☆195Updated 9 months ago
- Useful things for Standard ML☆64Updated 5 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆109Updated 2 years ago
- Fast, simplified WAM-based Prolog system☆21Updated 2 years ago
- Polynomial-time Meta-Interpretive Learning☆120Updated last month