kkty / prolog
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
- 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☆24Updated 4 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- SWI-Prolog ported to WebAssembly☆39Updated 6 years ago
- source code for the bondi programming language☆40Updated 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
- Orc programming language implementation☆44Updated 3 years ago
- A Prolog library to connect to PostgreSQL databases☆97Updated 11 months ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆46Updated 3 years ago
- Delimited Continuations for JavaScript☆31Updated last year
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- purple: compiling a reflective language☆32Updated 5 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Just a list of Awesome Alt Langs to check out☆98Updated 11 months ago
- Refined types for Typescript☆24Updated 7 years ago
- Optional types for Prolog☆16Updated 5 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago
- JavaScript implementation of modified version of miniKanren☆31Updated 5 years ago
- A simple interpreted language written in Elixir☆21Updated 8 years ago
- Racket to WebAssembly Compiler☆32Updated 2 months ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- DocLog builds documentation from source code in Prolog☆26Updated 3 months ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- JUnify ― JavaScript Unification Library☆50Updated 12 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- SWI-Prolog plugin for the asdf version manager☆10Updated last year
- Automated theorem prover for first-order predicate logic written in TypeScript☆27Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated 6 months ago