exercism / prologLinks
Exercism exercises in Prolog.
☆31Updated 3 months ago
Alternatives and similar repositories for prolog
Users that are interested in prolog are comparing it to the libraries listed below
Sorting:
- A tutorial for DCG's in swi-Prolog☆35Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Markdown parser for SWI-Prolog.☆21Updated 4 years ago
- ☆14Updated last month
- Prolog Pengines + vue.js☆17Updated 6 years ago
- A terse Prolog course☆43Updated 6 years ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆14Updated 7 years ago
- Exercism exercises in Scheme.☆36Updated 5 months ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆19Updated 5 years ago
- Optional types for Prolog☆16Updated 5 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Exercism exercises in Standard ML.☆28Updated last week
- Intuitionistic Programming Language☆11Updated 11 years ago
- Exercism exercises in Racket.☆42Updated this week
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Blogging/CMS framework for SWI-Prolog.☆23Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- The SWI-Prolog Unit Testing library☆9Updated this week
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- Boolean Constraint Solving in Prolog☆43Updated 6 months ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Prolog HTTPS Servers☆37Updated 7 years ago