f(A,A):-1=1,!.

1=1を消して
このカットを引数のすぐ左に持ってくることはできますか？