% 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).