elpi
by LPCIC
Embeddable Lambda Prolog Interpreter
AI summary
Prolog interpreter
An embeddable interpreter for a variant of Prolog enriched with Constraint Handling Rules
- stars
- 292
- forks
- 37
- watching
- 12
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Term manipulator
Provides an extension language for Coq to manipulate terms containing binders and supports scripting and metaprogramming
Logic interpreter
An interpreter for a logic-based programming language
Relational interpreter
An interpreter for a binary relational algebra language
LOLCODE interpreter
An interpreter for an esoteric programming language designed to be correct, portable, and precisely documented.
Prolog interpreter
An interpreter for a logic-based programming language written in Haskell.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
Lua interpreter
An open-source interpreter for the Lua programming language with additional features and optimizations.
Lisp interpreter
An interpreter for Bel, a Lisp-like language with a focus on completeness and metacircular foundations.
Lambda interpreter
An interpreter for a minimal programming language inspired by the lambda calculus
LISP interpreter
A .NET implementation of the LISP programming language with features ideal for building domain-specific languages and extending existing systems.
Python interpreter
A Common Lisp library for executing Python code and integrating it with existing Lisp systems.
Language interpreter
An interpreted programming language with a minimalist syntax and support for classes, closures, and 2D graphics programming.
Lisp interpreter
An interpreter written in Malbolge that supports Lisp-like programming with advanced features and instructions.
rui314/minilisp1.5K
Lisp interpreter
A minimalistic Lisp interpreter in C
Prolog compiler library
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.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions elpi.
