Unfortunately, it's not. There is almost no problem that requires searching through some complex enough space for a specialized language be worthy its use, and yet have a small enough search space for zero knowledge depth-first search to be viable. (Database querying may be the one large problem, there are some comments about Datalog already.)

There are some modern Prolog versions that try to use some better searching algorithms, but the language hinders that change.