As a convenience, we may want to allow predicates to accept multiple parameters, to avoid overly verbose enums.
As an example, at(ob, x, y) might be a predicate that specifies an object location. it might be more convenient that object1_at_1_2... as states
As a convenience, we may want to allow predicates to accept multiple parameters, to avoid overly verbose enums.
As an example,
at(ob, x, y)might be a predicate that specifies an object location. it might be more convenient thatobject1_at_1_2... as states