Declarative reading of (\+)/1

[EricGT]

(\+)/1 is thus not negation, but means not provable at this point in time .

From this StackOverflow answer by user false

---

For those that don’t know what the expression declarative reading means with regards to Prolog see: Reading Prolog Programs