I have encountered the symbol \+ in prolog and am not sure as to what it signifies. I have gone through the prolog documentation and am either not being too resourceful or have not really noticed it.
Thank you for your answer!
Asked
Active
Viewed 51 times
1
SDG
- 2,260
- 8
- 35
- 77
-
2See [this](http://stackoverflow.com/a/8523825/772868) – false Jun 12 '15 at 20:15
1 Answers
2
It is a non-provable operator. See this link to learn more. Basically, it's true if the argument is not provable.
Batman
- 541
- 4
- 25
-
Genuinely surprised Wikipedia has my answer! But thank you - This answers my question. – SDG Jun 12 '15 at 20:23