Пример 1c

|?- X=5,Y=7,Z=2,numbervars(term(X,Y,Z),0,M).

M = 0,

X = 5,

Y = 7,

Z = 2?

yes

Previous slide

Next slide

Back to first slide

View graphic version