begin %DATALOG%
AK1(i,x,y) :- AK(i,x,y).
end %DATALOG%