% Hard Tit for Tat:
% Cooperates unless the opponent has defected
% at least once in the last two rounds.

hard_tit4tat([A,B|_],d,_,_):-(A=d;B=d),!.
hard_tit4tat(_,c,_,_).