>>591
z(X) がビルトイン関数で、評価するときにXが0未満だとマシンがハングするとする。

P(X) :- a(X), b(X), c(X), ・・・, assertion(X>=0), z(X).

a(X), b(X), ・・・のどれかが失敗し続ける限り、assertion(X>=0)の失敗を検出できない。