Next:
中断構造に対しての処理の概略
Up:
単一化器: do_unify()
Previous:
単一化器: do_unify()
ゴールの再開: resume_goals()
中断構造に対して単一化を行い、ゴールの再開、consumer/generator objectのunifyメソッドを起動するための処理は、resume_goals()で行われる。
中断構造に対しての処理の概略
resume_goals()の詳細
Sekita Daigo
1998-05-18