exercism / prolog
Exercism exercises in Prolog.
☆29Updated this week
Related projects: ⓘ
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated last year
- Refactoring Tools for SWI-Prolog☆19Updated 3 months ago
- A collection of Prolog libraries.☆86Updated 3 weeks ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- A tutorial for DCG's in swi-Prolog☆32Updated 3 years ago
- IRC Bot Written in Prolog☆19Updated 3 years ago
- Prolog Pengines + vue.js☆16Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 3 months ago
- Intuitionistic Programming Language☆11Updated 10 years ago
- Orc programming language implementation☆40Updated 2 years ago
- Exercism exercises in Racket.☆41Updated last week
- Run SWI-Prolog in your browser using WebAssemply☆74Updated 2 years ago
- Web Framework for SWI-Prolog☆40Updated 8 years ago
- A terse Prolog course☆41Updated 5 years ago
- Community contributions to the Grammatical Framework☆60Updated 2 months ago
- Prolog HTTPS Servers☆36Updated 6 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆15Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- The Definition of Standard ML (1990)☆122Updated 9 years ago
- Catalog of visual lambda calculi☆87Updated last year
- J for Android☆33Updated 6 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- The Heterogeneous Tool Set☆57Updated 2 weeks ago
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated 2 weeks ago
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- Interactive POetry Editor☆27Updated 2 years ago
- Boolean Constraint Solving in Prolog☆38Updated last year
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago