Programming in Prolog
The art of Prolog (2nd ed.): advanced programming techniques
The art of Prolog (2nd ed.): advanced programming techniques
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
| Hi-index | 0.00 |
This paper presented a simple PROLOG implementation for Arrow's Social welfare function (SWF). Arrow (Social choice and individual values, Yale University Press, 1963) proved that any SWF which satisfies a set of conditions IIA, Pareto, and unrestricted domain should be dictatorial. The PROLOG program can prove the theorem for 3-alternative 2-agent case. With a minor modification it proves a version of the theorem without the Pareto condition by Wilson (Journal of Economic Theory, 5, 478---486, 1972).