kkty / prologLinks
Implementation of Prolog in TypeScript
☆34Updated 2 years ago
Alternatives and similar repositories for prolog
Users that are interested in prolog are comparing it to the libraries listed below
Sorting:
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- Sample SWI-Prolog server with JavaScript client☆13Updated last year
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last week
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- DocLog builds documentation from source code in Prolog☆27Updated 5 months ago
- miniKanren for JavaScript☆26Updated last year
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆214Updated 2 years ago
- Blogging/CMS framework for SWI-Prolog.☆23Updated 2 years ago
- Framework for Effortless Language Servers with Language Servers for SOM, SOMns, and SimpleLanguage☆19Updated last year
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Boolean Constraint Solving in Prolog☆43Updated 5 months ago
- Hindley-Milner type system with extensible records and variants, implemented in Go☆21Updated 4 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated last week
- A programming language and user interface toolkit for creating structured editors.☆20Updated 8 months ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Updated 4 years ago
- The SWI-Prolog Unit Testing library☆9Updated last month
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆113Updated 8 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- JavaScript implementation of modified version of miniKanren☆33Updated 6 years ago
- A terse Prolog course☆43Updated 6 years ago
- interpreter and compiler to be compatible with ARITY/PROLOG（MS-DOS)☆109Updated last week
- SWI-Prolog lambda runtime☆17Updated 9 months ago
- Orc programming language implementation☆44Updated 3 years ago
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- Structured UI Programming with ES6 Generators☆24Updated last year