{HEAD ~ The generating device} includes a translating device that translates the computing equation of declarative representation into a computer program, {TAIL ~ a retrieving device} that retrieves a dependence of the output knowledge variable on other knowledge variables, and a setting device that sets an execution sequence of the computer program for instructing an input request and computation with reference to the dependence, in which the knowledge base system includes at least one alternative solution 
{ HEAD ~ The generating device } includes a translating device that translates the computing equation of declarative representation into a computer program , { TAIL ~ a retrieving device } that retrieves a dependence of the output knowledge variable on other knowledge variables , and a setting device that sets an execution sequence of the computer program for instructing an input request and computation with reference to the dependence , in which the knowledge base system includes at least one alternative solution
HEAD HEAD HEAD HEAD HEAD HEAD HEAD REL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH