The characteristics of sustainable development problems in the developing countries is discussed.In order to develop and use decision support system (DSS) for supporting sustainable development problem decision making in the developing countries,this paper presents a strategy of constructing the DSS for sustainable development.A methodology of representing the model of sustainable development problems and developing a nonprocedural modeling language that is used to define sustainable development problems,a methodology of numeric and non numeric operation based theorem proving is given in this paper.
