cursor R C - ; - cursor cursor (o,o). , . , , , .
R1=R+1 , R ', ' cursor. , . R1 .
cursor R1 , , cursor (i,i).
, , . ,
Predicates
Changeattribute(Integer, Integer)
Clauses
changeattribute(NewAttrib, OldAttrib):-
Attribute(OldAttrib), attribute(NewAttrib).
Goal
changeattribute(112, Old), write("Hello"),
attribute(Old), write("there").
goal changeattrib changeattrib(i,o) ( - 112, Old - ). , changeattrib NewAttrib , OldAttrib - . , attribute(OldAttrib), attribute attribute (o), attribute attribute(i). ʳ attribute goal , Old ' changeattrib.
10.2. .
, , . , . ,
Z = X + Y
Y ', : . free bound.
, plus 䳿 . 10.1 .