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