kkty / prologLinks
Implementation of Prolog in TypeScript
☆35Updated 2 years ago
Alternatives and similar repositories for prolog
Users that are interested in prolog are comparing it to the libraries listed below
Sorting:
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 3 months ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- Sample SWI-Prolog server with JavaScript client☆13Updated last year
- Shen for JavaScript☆60Updated last year
- Implementation of the Aardappel programming language☆31Updated 8 years ago
- A terse Prolog course☆43Updated 6 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- The Online Interpreter for Standard ML, written in TypeScript.☆177Updated last year
- source code for the bondi programming language☆40Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- SOM - Simple Object Machine☆70Updated 2 weeks ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Io ported to WebAssembly using emscripten☆12Updated 2 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 14 years ago
- Scripting language for testing JSON-based HTTP APIs☆45Updated 3 years ago
- DocLog builds documentation from source code in Prolog☆28Updated 8 months ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 5 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Font for turning J into APL☆12Updated 6 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆131Updated 2 years ago
- Lisp-like language to WebAssembly build with racket☆23Updated 7 years ago
- Just a list of Awesome Alt Langs to check out☆102Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Multitier JavaScript☆154Updated 3 months ago
- A simple interpreted language written in Elixir☆22Updated 8 years ago
- Io-to-JavaScript compiler☆25Updated 8 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆189Updated 4 years ago