For example, if students use number/1 in a Peano task, they have fundamentally misunderstood the whole point of "symbolic numbers" like s(s(null)).
To address that, the task configuration could specify a list of forbidden predicates, so that in such a case the feedback "You cannot use number in this task" would be given.
For example, if students use
number/1in a Peano task, they have fundamentally misunderstood the whole point of "symbolic numbers" likes(s(null)).To address that, the task configuration could specify a list of forbidden predicates, so that in such a case the feedback "You cannot use
numberin this task" would be given.