[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.