Developping a computational framrework and its toolkits for abstract mathematical theory of social choice in economic and management science by using logic programming (PROLOG). And its application to the computational cognitive modeling for ordinary mind and multipleself decision makers.