What does the `table` mode specifier `max` do when applied to an argument in Picat?
-
A
It keeps only the answer with the largest value for that argument, useful for maximization problems.
-
B
It sets an upper bound on the argument's value.
-
C
It stores the maximum number of answers for that predicate.
-
D
It makes the argument optional with a default maximum.