# LaTeX2HTML 95 (Thu Jan 19 1995)
# Associate image original text (scrambled) with physical files.
$key = q/{_inline}$(1)sim(3)${_inline}/;
$cached_env_img{$key} ='
';
$key = q/{tabular}|cp15cm|hline・;SPM_amp;生成するデータが他のゴールの入力引数になっている場合は,そのゴールは遅延しない・;SPM_amp;生成するデータが構造体の内部に格納される場合は,要求駆動ゴール候補にする・;SPM_amp;あるゴールが要求駆動で実行される場合は,その子ゴールも実質的に要求駆動になっているので,要求駆動ゴール候補の子ゴールは自己再帰を除いて,遅延評価しないhline{tabular}/;
$cached_env_img{$key} ='
';
$key = q/{_inline}$X_0,X_1,...,X_n-1${_inline}/;
$cached_env_img{$key} ='
';
$key = q/{_inline}$Goalmbox@demand([X_0,X_1,...,X_n-1])${_inline}/;
$cached_env_img{$key} ='
';
1;