Embeddable Prolog-style logic engine for JavaScript: declarative rules, unification, backtracking search, and four solver drivers (sync/async × callback/generator). Useful for pattern matching with extraction, constraint search, type inference, planners, expert systems, and policy checks. ESM, single runtime dependency (deep6).
rules typescript embeddable planner rule-engine pattern-matching declarative prolog inference backtracking logic-programming type-inference constraint-solver esm unification relational expert-system unify logic-solver deep6
-
Updated
Apr 12, 2026 - JavaScript