aletheia
An embedded Prolog dialect for Elixir: classic Prolog syntax (`:-`, `,`/`;`, `=`, a mutable op/3 table) via a reader on Ichor, fronting Episteme -- the resolution engine and clause database (unification, SLD-resolution, backtracking, a real clause-scoped cut) behind it.
Maintained on Hex by oetjenj
Latest version
0.1.1
Last run
20 days ago
Checks
4
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | aletheia-0.1.1-1789660339400 |
|
nerves_system_mangopi_mq_pro
0.17.2
|
pass | 25715389 | aletheia-0.1.1-1789660339400 |
|
nerves_system_rpi4
2.1.2
|
pass | 42041324 | aletheia-0.1.1-1789660339400 |
|
nerves_system_x86_64
1.34.2
|
pass | 29429282 | aletheia-0.1.1-1789660339400 |
Add this badge to your README
It updates itself as aletheia's compatibility is reassessed.
Markdown
HTML