elpi
Prolog interpreter
An embeddable interpreter for a variant of Prolog enriched with Constraint Handling Rules
Embeddable Lambda Prolog Interpreter
292 stars
12 watching
37 forks
Language: Prolog
last commit: 2 months ago
Linked from 1 awesome list
constraintsextension-languagelambda-prologocaml-library
klaudiosinani/awesome-prologRelated projects:
| Repository | Description | Stars |
|---|---|---|
| lpcic/coq-elpi | Provides an extension language for Coq to manipulate terms containing binders and supports scripting and metaprogramming | 141 |
 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 designed to be correct, portable, and precisely documented. | 786 |
 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 | 220 |
 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. | 42 |
 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. | 493 |
 rui314/minilisp | A minimalistic Lisp interpreter in C | 1,490 |
 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 |