It could be useful for domains in which all or at least many problems are solvable (i.e., they can be stated and satisfied) with first-order logic.

It could also be useful as a lower-level component of general-purpose systems that internally rely on chains of thought computed by sub-component LLMs.