[xlayn]

Thanks for the reply; "Prolog-style solving of logical expressions in JS" sounds like a better title.

[kaoD]

"Prolog-style solving of logical expressions" is actually called "logic programming". It's the name of the paradigm.

https://en.wikipedia.org/wiki/Logic_programming

IMO the title is fine.

[always_good]

Next time please at least click the link before chiming in with a comment. The title was not the problem here.