I don't recall Prolog ever being "sold" as pure logic.
The core of Prolog is restricted to a Turing complete subset of first-order predicate logic called Horn clauses I don't recall Prolog ever being "sold" as pure logic.
The core of Prolog is restricted to a Turing complete subset of first-order predicate logic called Horn clausesDoes this sound to you like an attempt to deceive the reader into believing, as the GP comment stated, that the user can
> just write your first-order predicate logic and we'll solve it.
No it does not. Please read the words that you are citing, not the words that you imagine. I honestly can't tell if you are unable to parse that sentence or if you a cynically lying about your interpretation in order to "win" an internet argument.
All programming languages are restricted, at least, to a "Turing complete subset of first-order predicate logic." There is absolutely no implication or suggestion of automatically solving any, much less most, first order logic queries.