% Cooperates if and only if both players opted for the
% same choice in the previous move, otherwise it defects.
pavlov([], c, _, c).
pavlov([Choice|_], c, Choice, c):-!.
pavlov([_], d, _, d).