Indo, Kenryo - In: Computational Economics 30 (2007) 1, pp. 57-63
This paper presented a simple <Emphasis Type="SmallCaps">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 <Emphasis Type="SmallCaps">PROLOG...</emphasis></emphasis>