Hacker News new | ask | show | jobs
by detaro 3594 days ago
This library can do Prolog-style solving of logical expressions. As in "here is a set of expressions, find me values for the variables that fulfill them." Completely different thing.

classical example in the readme: https://github.com/mcsoto/LogicJS#goals

1 comments

Thanks for the reply; "Prolog-style solving of logical expressions in JS" sounds like a better title.
"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.

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