Не могу разобраться с синтаксисом в Арити-прологе

я вот не могу вот эту запустить
 
nondeterm factorial(integer,integer)
nondeterm f(integer,integer,real)
 
factorial(1,1):-!.
factorial(N,Y):-N1=N-1,factorial(N1,Y1),Y=Y1*N.

f(N,K,Z):-factorial(N,Y1),factorial(K,Y2),K1=N-K,factorial(K1,Y3),Z=Y1/(Y2*Y3).

Арити почему то ошибки выдает выделяет скобочки  в первых двух строчках не подскажите где я накасячил?

Yuri спасибо что направил куда нужно!!

Арити делает вот так nondeterm factorial<<(>>integer,integer) nondeterm f(integer,integer,real) factorial(1,1):-!.
дальше программа не пишится он ERROR выдает если нужен его номер еще раз наберу и отпишусь!