copl-in-prolog
PRESS
copl-in-prolog | PRESS | |
---|---|---|
1 | 1 | |
1 | 29 | |
- | - | |
2.6 | 10.0 | |
about 2 years ago | over 7 years ago | |
Prolog | Prolog | |
MIT License | 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.
copl-in-prolog
PRESS
-
Ask HN: What are some interesting examples of Prolog?
https://www.sciencedirect.com/science/article/pii/S074771718...
Source: https://github.com/maths/PRESS
- - - -
BTW, Does anyone know where I can find the source for MIXTUS partial evaluation system?
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.
libredwg - Official mirror of libredwg. With CI hooks and nightly releases. PR's ok
the-constitution-of-japan
language-incubator - Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
brainfuck-pl - A brainf*ck interpreter in Prolog
precautionary - Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.
simpletapl
Alpino - Alpino parser and related tools for Dutch
guanxi - Relational programming in Haskell. Mostly developed on twitch.
mine-prolog-tba - A small text-based adventure game developed in prolog.