| |
| | Backtracking and Constraints in Tcl-BC |
 | | Backtracking as a mathematical concept predates electronic computers by at least 60 years [Lucas, 1891] and is, of course, widely used as a programming technique in artificial intelligence and operations research [see, for example, Schalkoff, 1990]. |
 | | Backtracking allows the choices to be made, in some sequence, and with each choice, the computation proceeds, until "failure" (presumed lack of viability of the choice) is encountered. |
 | | Backtracking has some of the flavor of setjmp/longjmp, but for a number of reasons, not the least of which is the fact that choice points may occur within procedures whose activation has ended, it involves a more complicated state restoration/preservation. |
| www.usenix.org /publications/library/proceedings/tcl96/full_papers/clark/index.html (4907 words) |
|