Определения составных смешанных доменов.

В этом разделе мы обсудим различные типы определений доменов, кото-

рые можно добавлять к программам. Эти объявления позволят использовать

предикаты, которые:

1. Имеют возможность получать аргумент более чем одного типа.

2. Получать различное количество аргументов, все одного типа.

3. Получать различное количество аргументов, каждый из которых может

иметь свой тип.