yopl

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,

v1.4.0 BSD-3-Clause 10 versions Maintained by elazutkin

• prolog
• logic-programming
• logic-solver
• unification
• unify
• backtracking
• rule-engine
• rules
• declarative
• relational
• constraint-solver
• pattern-matching