elpi
Logic interpreter
An interpreter for a logic-based programming language designed to be embedded in other applications.
Embeddable Lambda Prolog Interpreter
290 stars
12 watching
36 forks
Language: Prolog
last commit: 6 days ago
Linked from 1 awesome list
constraintsextension-languagelambda-prologocaml-library
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
| lpcic/coq-elpi | A Coq plugin embedding Elpi to extend Coq's capabilities with a dialect of lambda-prolog for metaprogramming and scripting. | 139 |
 jldupont/prolog.js | An interpreter for a logic-based programming language | 81 |
 olewhalehunter/libra | An interpreter for a binary relational algebra language | 2 |
 justinmeza/lci | An interpreter for an esoteric programming language called LOLCODE | 784 |
 erdwolf/prolog | An interpreter for a logic-based programming language written in Haskell. | 61 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 221 |
 shiinamiyuki/lunatic | An open-source interpreter for the Lua programming language with additional features and optimizations. | 18 |
 masak/bel | An interpreter for Bel, a Lisp-like language with a focus on completeness and metacircular foundations. | 27 |
 igorw/lambda-php | An interpreter for a minimal programming language inspired by the lambda calculus | 23 |
 chr1st0scli/rainlisp | A .NET implementation of the LISP programming language with features ideal for building domain-specific languages and extending existing systems. | 34 |
 digikar99/py4cl2 | A Common Lisp library for executing Python code and integrating it with existing Lisp systems. | 41 |
 avivc/ribbonlang | An interpreted programming language with a minimalist syntax and support for classes, closures, and 2D graphics programming. | 11 |
 kspalaiologos/malbolge-lisp | An interpreter written in Malbolge that supports Lisp-like programming with advanced features and instructions. | 488 |
 rui314/minilisp | A minimalistic Lisp interpreter in C | 1,479 |
 cl-model-languages/cl-prolog2 | A Common Lisp library that provides a translator from S-expression to ISO-standardized Prolog language and integrates with various Prolog compilers for efficient execution. | 31 |