prolog.js
Logic interpreter
An interpreter for a logic-based programming language
prolog interpreter in javascript
81 stars
8 watching
8 forks
Language: JavaScript
last commit: almost 8 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
lpcic/elpi | An interpreter for a logic-based programming language designed to be embedded in other applications. | 290 |
erdwolf/prolog | An interpreter for a logic-based programming language written in Haskell. | 61 |
sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
jiprolog/jiprolog | An interpreter and API for integrating the Prolog programming language with Java, allowing seamless calls between the two languages. | 132 |
brandonbloom/eclj | An extensible Clojure interpreter aiming to virtualize the language and provide a controlled environment for running portable code. | 106 |
rvirding/erlog | An Erlang-based Prolog interpreter integrated with the Erlang runtime system. | 371 |
jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 243 |
plv8/pljs | A JavaScript language extension for PostgreSQL that aims to match the functionality of PLV8 with a compact and lightweight implementation. | 122 |
danielstjules/pjs | A tool for filtering, mapping, and reducing data in JavaScript from the command line. | 419 |
arthwang/vsc-prolog | An extension for VS Code that provides language support for Prolog. | 97 |
olewhalehunter/libra | An interpreter for a binary relational algebra language | 2 |
raulil/plorth-webassembly | Compiles a Plorth interpreter into a WebAssembly module | 16 |
heinrichapfelmus/hyper-haskell | An interactive graphical interpreter for the Haskell programming language | 361 |
ccxvii/mujs | An embeddable JavaScript interpreter written in C | 812 |