didoudiaz / gprologLinks
GNU Prolog
☆121Updated 2 months ago
Alternatives and similar repositories for gprolog
Users that are interested in gprolog are comparing it to the libraries listed below
Sorting:
- A compact, efficient Prolog interpreter written in plain-old C.☆297Updated this week
- Logtalk - declarative object-oriented logic programming language☆451Updated 2 weeks ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆305Updated this week
- Constraint Logic Programming over Integers☆201Updated last year
- CLP(BNR) module for SWI-Prolog☆44Updated last month
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- ☆53Updated last month
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 4 months ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆135Updated 7 years ago
- a practical Scheme compiler☆153Updated this week
- Some notes taken while working on Prolog☆186Updated last year
- Online, interactive edition of the "Simply Logical" Prolog textbook☆148Updated 6 months ago
- Constraint Logic Programming over Finite Domains☆182Updated 5 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 4 months ago
- Embeddable Lambda Prolog Interpreter☆312Updated 3 weeks ago
- Language Server Protocol server for SWI-Prolog☆101Updated last week
- ☆53Updated last month
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- An implementation of R7RS in Racket☆100Updated 8 months ago
- Fast, simplified WAM-based Prolog system☆22Updated last month
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆232Updated last week
- The NIAL language environment☆112Updated 2 years ago
- Discuss future development☆22Updated 9 years ago
- Shen/Scheme implementation☆115Updated last month
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆113Updated 2 months ago
- Boolean Constraint Solving in Prolog☆43Updated 6 months ago
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- Shen language kernel sources for porters☆376Updated 10 months ago
- YAP Development release☆14Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year