ゴール書換えモデルにおいて, ゴールプールからゴールを１つ取り出し ゴール引数の値をKL1節のガード部の規則にしたがってチェックしする際に, そのチェックがサスペンドする場合は, そのゴールのリダクションは中断され ゴールはサスペンドゴールプールに入れられる. （サスペンド操作）
サスペンドゴールプールに入れられたゴールは, 中断原因となった変数が 具体化されるとゴールプールに移される. （リジューム操作）
図2.3にサスペンドゴールプールを用いたサスペンションメカニズムの 概略図を示す.
図 2.3: サスペンションメカニズム
