alt Hacker News 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 clauses
> The core of Prolog is restricted to a Turing complete subset of first-order predicate logic called Horn clauses
Does 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.