摘要 |
Apparatus for generating a sequence of code instructions for execution by a programmable processor to solve a problem, comprising means for generating a sequence of variable value data corresponding to postulate solutions to said problem; means for testing said postulate solution data in a relationship to determine whether or not they correspond to said solution to said problem; and, in the event that said test cannot be logically evaluated, for storing data defining a decision forming part of said sequence of instruction codes, and for generating a plurality of branches of said sequence to be performed depending upon the results of said decision including more than one possible branch from said decision to be taken in the event of the same outcome of said decision, and for selecting one of said branches. |