implementations/Prolog/docs/reference/not_negative.md

   1 --------------------
   2
   3 ## !-
   4
   5 "not negative"
   6
   7 (Function, Boolean Predicate)
   8
   9 Integer on top of stack is replaced by Boolean value indicating whether
  10 it is non-negative.
  11
  12         N !-
  13     -----------  N < 0
  14        false
  15
  16        N !-
  17     ----------  N >= 0
  18        true
  19
  20
  21 ### Definition
  22
  23     0 >=
  24