yopl (npm): No dependency mini-library: unification, deep equivalence, deep cloning, logical solver.
Keywords: logic programming|solver|logic solver|logical-programming|logical-solvers|prolog-implementation