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: about 11 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 rvirding/erlog | An Erlang-based Prolog interpreter integrated with the Erlang runtime system. | 372 |
 clojerl/clojerl | A Clojure implementation on the Erlang VM | 1,660 |
 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. | 76 |
 triska/ediprolog | An Emacs extension that enables Prolog interaction within any Emacs buffer | 38 |
 heinrichapfelmus/hyper-haskell | An interactive graphical interpreter for the Haskell programming language | 361 |
 lpcic/elpi | An embeddable interpreter for a variant of Prolog enriched with Constraint Handling Rules | 292 |
 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. | 98 |
 ichiban/prolog | An embeddable Prolog interpreter written in Go. | 634 |
 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 | 500 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 242 |