elpi
ocaml-tsort
| elpi | ocaml-tsort | |
|---|---|---|
| 4 | 1 | |
| 260 | 22 | |
| 0.8% | - | |
| 8.4 | 0.0 | |
| 8 days ago | almost 2 years ago | |
| Prolog | OCaml | |
| GNU Lesser General Public License v3.0 only | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
elpi
-
Prototyping a Functional Language using Higher-Order Logic Programming
Also relevant, Elpi, which is used as an embedded lambda-Prolog inside Coq for metaprogramming.
-
Julia is missing 'pycall' for Rust
While elpi lambda prolog is a lot nicer feature-wise (e.g. it offers higher logic subsets) and also includes simple constraints, Scyer prolog is faster and includes more features.
-
Are there any OS projects of any substantial size at all that have been written in λProlog?
I've tried looking but can't find any besides the implementation repos themselves; specifically ELPI and Teyjus
- Would a type system be superfluous in Prolog?
ocaml-tsort
What are some alternatives?
clpz - Constraint Logic Programming over Integers
lambdasoup - Functional HTML scraping and rewriting with CSS in OCaml
teyjus - An efficient implementation of the higher-order logic programming language Lambda Prolog
soupault - Static website generator based on HTML element tree rewriting
fastcode - A unique blend of C, Java, and Python tailored for those who desire a simple yet powerful programming language.
morbig - A static parser for POSIX Shell
jlrs - Julia bindings for Rust
otoml - TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
capnp-rpc - Cap'n Proto RPC implementation
scryer-prolog - A modern Prolog implementation written mostly in Rust.