Yes, every (type of) language has it's corner, no language is best for absolutely everything. Since Prolog is a logic-based and declarative programming languag

Yes, every (type of) language has it's corner, no language is best for absolutely everything. Since Prolog is a logic-based and declarative programming language, if you're dealing with goal reduction or backwards chaining, then Prolog is a excellent fit and will probably be easier to both write and maintain compared to other languages. Theorem proving, automated scheduling and querying data stores are also excellent use cases for Prolog and Prolog-like languages.