next up previous contents index
Next: 生成 Up: ループへの対処 Previous: ループへの対処

ユニフィケーションによるループ


  
Figure 10.11: ユニフィケーションによるループの生成.
\begin{figure}\setlength{\unitlength}{1.0mm} \begin{center} \begin{picture} (12... ...\put(46, 7){\vector(-1,0){79}} } } \end{picture}\\ \par\end{center}\end{figure}


Sekita Daigo
1998-05-18