prolog
Prolog interpreter
An interpreter for a logic-based programming language written in Haskell.
A prolog interpreter written in Haskell.
61 stars
5 watching
15 forks
Language: Haskell
last commit: over 9 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 rvirding/erlog | An Erlang-based Prolog interpreter integrated with the Erlang runtime system. | 371 |
 clojerl/clojerl | A Clojure implementation on the Erlang VM | 1,659 |
 jldupont/prolog.js | An interpreter for a logic-based programming language | 81 |
 terenceng03/mueval | A Haskell interpreter designed to evaluate pure functions securely and efficiently in a sandboxed environment. | 77 |
 triska/ediprolog | An Emacs extension that enables Prolog interaction within any Emacs buffer | 37 |
 heinrichapfelmus/hyper-haskell | An interactive graphical interpreter for the Haskell programming language | 361 |
 lpcic/elpi | An interpreter for a logic-based programming language designed to be embedded in other applications. | 290 |
 olewhalehunter/libra | An interpreter for a binary relational algebra language | 2 |
 proger/erlsh | Tools and functions for interacting with the system shell, paths, and external programs from Erlang. | 61 |
 cofinalsubnets/wisp | A Haskell-based interpreted Lisp language with features like lexical closures and continuations, designed to be easily embedded in other programs. | 115 |
 arthwang/vsc-prolog | An extension for VS Code that provides language support for Prolog. | 97 |
 ichiban/prolog | An embeddable Prolog interpreter written in Go. | 627 |
 sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
 remko/waforth | An interpreter and compiler for a Forth programming language implemented in WebAssembly | 498 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 243 |