Я пишу Судоку-Солвер с PROLOG. Я хочу, чтобы решатель работал со всеми возможными размерами Судоку, поэтому, естественно, мне нужно создавать предикаты, которые принимают переменное число аргументов. (Например, чтобы построитьблоки» в судоку.)

Как я могу построить или смоделировать предикаты с переменным количеством аргументов?