guanxi
precautionary
guanxi | precautionary | |
---|---|---|
2 | 2 | |
250 | 24 | |
- | - | |
0.0 | 2.7 | |
7 months ago | over 2 years ago | |
Haskell | Prolog | |
GNU General Public License v3.0 or later | 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.
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.
precautionary
-
What is the syntax of `?- S+\(...).`?
after loaded https://github.com/dcnorris/precautionary/blob/main/exec/prolog/dsl.pl
-
Ask HN: What are some interesting examples of Prolog?
One of the most interesting applications of Prolog I have seen in the recent past is the formalization of dose finding trials that occur in clinical oncology. In particular, David C. Norris has implemented a Prolog formulation of the Cumulative Cohort Design (CCD) as part of his precautionary package:
https://github.com/dcnorris/precautionary/blob/main/exec/pro...
This formulation can be used to exhaustively enumerate all possible arising cases, and also complete partially given information. It is possible to ask interesting questions about the trial as a whole, such as whether specific cases can arise. In this sense, the formulation truly serves as a declarative specification of trial designs that are otherwise stated only comparatively informally in the medical literature, and even subject to divergent interpretations.
What are some alternatives?
eclair-lang - A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
brainfuck-pl - A brainf*ck interpreter in Prolog
the-constitution-of-japan
eclair-haskell - Haskell bindings for Eclair Datalog
language-incubator - Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
libredwg - Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
regexc - A regular expression compiler written in Prolog
dfs-tools - Distributional Formal Semantics (DFS) tools
copl-in-prolog - 書籍「プログラミング言語の基礎概念」の Prolog による実装