Home

yopl: a no-dependency mini-library that provides:

• Advanced deep equivalency for JavaScript structures.
  • Extensible to accommodate custom objects.
• Unification.
  • Identifying and capturing object fragments.
• Logic solvers.
  • Rule-based, logic programming style.
  • Both callback and generator styles are supported.

Documentation

TBD

Background

It is the next generation of heya-unify based on my unpublished project yoctoProlog. Generally, it implements Prolog-like logic programming primitives without a language. yopl is meant to be an embedded JavaScript-native unifier and solver to help with tricky logic algorithms.

heya-unify was thoroughly documented in series of blog posts:

• Unification for JS.
• When to unify in JS.
• heya-unify: custom unification.
• heya-unify: incomplete objects.
• heya-unify: back to JS.