logo
TurboProlog / Документация / TOM_1

Унификация составных объектов.

Составной объект может быть унифицирован с простой переменной, или с

составным объектом, который соответствует ему (возможно содержащим пере-

менные в качестве частей во внутренней структуре). Это означает, что мож-

но использовать составной объект для того, чтобы передавать целый набор

значений как единый объект, и затем использовать унификацию для их разде-

ления. Например :

дата("Апрель",2,1988)

сопоставляется с Х и присваивает Х значение дата("Апрель", 2, 1988).

Также,

дата("Апрель",2,1988)

сопоставляется с дата(Мес,Чис,Год) и присваивает переменным Мес "Апрель"

Чис 2 и Год 1988. Некоторые примеры программ с составными объектами при-

ведены в следующем разделе.