Prolog5.2. Ошибка

[AMadin]

Здравствуйте! помогите исправить ошибку?
Создается поле (матрица условно) 5*2
выдает ошибку, не могу понять почему рагается в этом месте assert(x(Xint+1)) и соответственно для Y так же ругается. говорит: требуется ) или , Поможите пожалуйста.

facts
x(integer)
y(integer)

clauses

matrixM(Xint,Yint,Astr):-
matrixR(Astr,_,_),
x<5,
x(Xint),
assert(x(Xint+1),
retract(x(Xint)),
y(Yint).

matrixM(Xint,Yint,Astr):-
matrixR(Aint,_,_),
x=5,
assert(x(0)),
retract(x(5)),
y(Yint),
assert(y(Yint+1),
retract(y(Yint)).