Packages
A standalone Prolog-like resolution engine and clause database for Elixir: terms, unification, SLD-resolution, backtracking, a genuine clause-scoped cut, and builtin predicates, built on Ichor's search substrate. No parser -- bring your own front-end (e.g. Aletheia) or build goal terms directly.
Current section
Activity
Jump to
Current section
Activity
| Date | Activity |
|---|---|
| Aug 05, 2026 | Publish documentation for release 0.2.0 |
| Aug 05, 2026 | Publish release 0.2.0 |
| Aug 04, 2026 | Publish documentation for release 0.1.0 |
| Aug 04, 2026 | Publish release 0.1.0 |
4
activities of
4
total
