precautionary
language-incubator
precautionary | language-incubator | |
---|---|---|
2 | 2 | |
24 | 56 | |
- | - | |
2.7 | 5.6 | |
about 2 years ago | 19 days ago | |
Prolog | Rust | |
GNU General Public License v3.0 or later | BSD 3-clause "New" or "Revised" 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.
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.
language-incubator
-
Jonesforth – A sometimes minimal FORTH compiler and tutorial (2007)
It was a lot of fun for me to reimplement this in MIPS assembler on CI20 [0]
JonesForth could be more straightforward in its interpreter part. I tried to make this part as clean as possible, hopefully did not miss anything.
Maybe I will make a RISCV version in my copious free time in the future.
[0] https://github.com/EarlGray/language-incubator/blob/29755c32...
-
Ask HN: What are some interesting examples of Prolog?
Not exactly a big codebase, but it was a revelation for me how natural typecheckers can feel in Prolog: I basically rewrote typing rules with some tweaks: [1]
Also, tests were surprisingly enjoyable in Prolog: [2].
[1] https://github.com/EarlGray/language-incubator/blob/29755c32...
What are some alternatives?
brainfuck-pl - A brainf*ck interpreter in Prolog
libredwg - Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
the-constitution-of-japan
dfs-tools - Distributional Formal Semantics (DFS) tools
regexc - A regular expression compiler written in Prolog
copl-in-prolog - 書籍「プログラミング言語の基礎概念」の Prolog による実装
kOS-KASM - Kerbal Assembler, for use with Kerbal OS mod for Kerbal Space Program. Using this tool one can program their KSP rockets in assembly code, or generate this assembly code from a compiler. Assembles directly to kRISC with no need for KerboScript.
foth - Tutorial-style FORTH implementation written in golang
Alpino - Alpino parser and related tools for Dutch
factor - Factor programming language