Пример 1b
|?- X=5,numbervars(term(X,Y,Z),0,M).
M = 2,
X = 5,
Y = A,
Z = B ?
yes
Previous slide
Next slide
Back to first slide
View graphic version