% Grudger, Spiteful:
% Cooperates until the second has defected, after
% that move defects forever (he does not forgive).
% http://euler.fd.cvut.cz/predmety/game_theory/lecture_repeat.pdf

% Syntax: grudger(+history, -choice, +state_in, -state_out)

grudger([], c, _, _).
grudger([d|_], d, _, _).
grudger([c|Tail], Decision, _, _) :- grudger(Tail, Decision, _, _).