Computer Things

  Back to the email

A lot of predicates have a last argument as the result and can thus be used as evaluation predicates for is/2. For example: O is (length([a,b,c]) + 1).