"Prolog-style solving of logical expressions" is actually called "logic programming". It's the name of the paradigm. https://en.wikipedia.org/wiki/Logic_progra

"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 https://en.wikipedia.org/wiki/Logic_programming IMO the title is fine.