elpi
embeddable lambda-Prolog interpreter (tool)
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
elpielpi-trace-elaborator
About elpi
From Debian's package description
ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.
This package provides the command-line tool.
From Debian's description of the elpi package, under that package's license.
Dependencies
Depends on
libelpi-ocamllibc6
Related apps
- LuaSimple, extensible, embeddable programming languageCommand line
- quickjssmall and embeddable Javascript engineCommand line
- swi-prolog-coreISO/Edinburgh-style Prolog interpreter - core systemCommand line
- eclEmbeddable Common-Lisp: has an interpreter and can compile to CCommand line
- qbeSmall embeddable C compiler backendCommand line
- ucppembeddable, quick and light C preprocessorCommand line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the elpi package, under that package's license.
- Description: Debian's description of the elpi package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.