Elixir
episteme
A standalone Prolog-like resolution engine and clause database: unification, backtracking search, a genuine clause-scoped cut, a dynamic database and solution aggregation.
Intention
No parser, no surface syntax, no dependency on one — anyone who wants a rule engine or query layer in Elixir can depend on Episteme alone.
Install
{:episteme, "~> 0.2"}