copl-in-prolog
guanxi
copl-in-prolog | guanxi | |
---|---|---|
1 | 2 | |
1 | 251 | |
- | - | |
2.6 | 0.0 | |
about 2 years ago | 8 months ago | |
Prolog | Haskell | |
MIT License | GNU General Public License v3.0 or later |
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.
copl-in-prolog
guanxi
-
Efficient logic programming in Haskell?
Have you looked into the work that Ed Kmett was doing around this topic? The repo is here. I don't think that doing logic programming Haskell from like a EDSL-ish approach will ever be as fast as in a real Prolog implementation, but I do think you can get acceptable performance just like you can in Scheme/Racket.
-
Ask HN: What are some interesting examples of Prolog?
Not an example of prolog but I wish Ed had time to continue developing https://github.com/ekmett/guanxi.
What are some alternatives?
souffle - Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
eclair-lang - A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
the-constitution-of-japan
brainfuck-pl - A brainf*ck interpreter in Prolog
eclair-haskell - Haskell bindings for Eclair Datalog
simpletapl
libredwg - Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
precautionary - Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.
dfs-tools - Distributional Formal Semantics (DFS) tools
mine-prolog-tba - A small text-based adventure game developed in prolog.
souffle-haskell - Haskell bindings for the Souffle datalog language