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
Jul 26, 2026 - JavaScript