Since any one of the arguments of these two predicates can be a variable, it does not make much sense to use them in arithmetic expressions where always the first arguments are taken as input and the last one as output.[eclipse 1]: times(2, X, 3). no (more) solution.