A knowledge processing system structurizing method and tool. By preparing a general-purpose search program on the basis of information inputted by the user, an inference program for a given problem to be solved and a given object domain is created. The general-purpose search program is constituted by a plurality of search elementary functions. A guide message is displayed on a display unit in accordance with classified information of a problem solving strategy. Program creating knowledges are obtained from the information inputted by the user in response to the guide message. By employing the program creating knowledges, a general-purpose program is created with the aid of a correspondence table containing correspondences between search elementary functions having search primitive functions built therein and search fundamental functions. The correspondence table may comprise a first correspondence table containing correspondences established between the search primitive functions and the search fundamental functions and a second correspondence table containing correspondences between search fundamental functions and the search elementary functions.