exercism / prolog
Exercism exercises in Prolog.
☆30Updated 2 weeks ago
Alternatives and similar repositories for prolog:
Users that are interested in prolog are comparing it to the libraries listed below
- ☆45Updated last month
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- ☆13Updated last month
- If at first you don't succeed☆12Updated 4 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- DocLog builds documentation from source code in Prolog☆26Updated 3 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- A terse Prolog course☆42Updated 6 years ago
- Exercism exercises in Coq.☆18Updated 4 months ago
- language verification, construction, and analysis☆20Updated 2 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- Intuitionistic Programming Language☆11Updated 11 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Optional types for Prolog☆11Updated 6 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 6 months ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Orc programming language implementation☆44Updated 3 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- Prolog Pengines + vue.js☆17Updated 6 years ago
- The SWI-Prolog RDF store☆30Updated 2 weeks ago