Elixir
episteme
Eine eigenständige Prolog-artige Resolutions-Engine mit Klauseldatenbank: Unifikation, Backtracking-Suche, echter klausel-lokaler Cut, dynamische Datenbank und Lösungsaggregation.
Absicht
Kein Parser, keine konkrete Syntax, keine Abhängigkeit davon — wer eine Regel-Engine oder Query-Schicht in Elixir braucht, kann allein auf Episteme setzen.
Installation
{:episteme, "~> 0.2"}