% Pavlov:
% Cooperates if and only if both players opted for the
% same choice in the previous move, otherwise it defects.

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

pavlov([], c, _, c):-!.
pavlov([Choice|_], c, Choice, c):-!.
pavlov(_, d, _, d).