next up previous contents index
Next: 中断構造に対しての処理の概略 Up: 単一化器: do_unify() Previous: 単一化器: do_unify()

ゴールの再開: resume_goals()

中断構造に対して単一化を行い、ゴールの再開、consumer/generator objectのunifyメソッドを起動するための処理は、resume_goals()で行われる。



 

Sekita Daigo
1998-05-18