Пример 1a
| ?- X=5, numbervars(term(X,Y,Z),28,M).
M = 30,
X = 5,
Y = C1,
Z = D1 ?
yes
Previous slide
Next slide
Back to first slide
View graphic version