Approval Voting

On this page you can find the Prolog programs used in my papers on Approval Voting to derive results on the absence of incentives to vote insincerely under certain assumptions on how voters extend their preferences over candidates to sets of candidates and for elections with a small number of candidates.

The two Prolog programs have been tested under SWI-Prolog.

Feedback welcome: