関数型仕様

interrupt_goalは、以下のような関数型になっている。

q *interrupt_goal(allocp, pred, reasonp)
     q *allocp;
     struct predicate *pred;
     q *reasonp;

引数は各々、ヒープトップ、最後に実行しようとしていた述語の述語構造体、 中断スタック先頭を表わす。戻り値は、更新されたヒープトップである。