述語が失敗したときにプロローグがスローされない

私が理解しているように、論理和のある通常の形式（例えば(A && B) || (C && D) --> pred）の述語を持っていれば、私は以下のことを行うことができます。述語が失敗したときにプロローグがスローされない

pred(parameters) :- 
    A, B; 
    C, D.

これは間違いありませんか？その場合は、次のコードを見てください。

私は...私はtrace.を使用

maze(X, Y, Maze, Path, Score) :- 
    find_eggs_and_pika(X, Y, Maze, Path, Score, 0, 0, 0, Masterball_found), 
    write(Score). 

find_eggs_and_pika(X, Y, Maze, Path, Score, PrevDirection, Has_egg, Egg_steps, Masterball_found) :- 

    is_masterball(X, Y, Maze, Masterball_found); 

    ...more predicates 

is_masterball(X, Y, Maze, Masterball_found) :- 
    nth1(Y, Maze, Row), 
    nth1(X, Row, mb), 
    Masterball_found is 1, 
    false.

は、私は、次の次の三つの述語を取得している：

{trace} 
| ?- maze(1,1,[[ o, e, j, p, o], [ o, j, o, o, o], [ o, j, mt, j, o], [ o, o, e, o, o],[ p, o, j, mb, o]], Path, 0). 
     1 1 Call: maze(1,1,[[o,e,j,p,o],[o,j,o,o,o],[o,j,mt,j,o],[o,o,e,o,...],[p,o,j,...]],_339,0) ? 
     2 2 Call: find_eggs_and_pika(1,1,[[o,e,j,p,o],[o,j,o,o,o],[o,j,mt,j,o],[o,o,e,o,...],[p,o,j,...]],_339,0,0,0,0,_373) ? 
     3 3 Call: is_masterball(1,1,[[o,e,j,p,o],[o,j,o,o,o],[o,j,mt,j,o],[o,o,e,o,...],[p,o,j,...]],_373) ? 
     4 4 Call: nth1(1,[[o,e,j,p,o],[o,j,o,o,o],[o,j,mt,j,o],[o,o,e,o,...],[p,o,j,...]],_470) ? 
     4 4 Exit: nth1(1,[[o,e,j,p,o],[o,j,o,o,o],[o,j,mt,j,o],[o,o,e,o,...],[p,o,j,...]],[o,e,j,p,o]) ? 
     5 4 Call: nth1(1,[o,e,j,p,o],mb) ? 
     5 4 Fail: nth1(1,[o,e,j,p,o],mb) ? 
     3 3 Fail: is_masterball(1,1,[[o,e,j,p,o],[o,j,o,o,o],[o,j,mt,j,o],[o,o,e,o,...],[p,o,j,...]],_373) ? 
     3 3 Call: '$call'(0,find_eggs_and_pika,9,true) ? 
     3 3 Exception: '$call'(0,find_eggs_and_pika,9,true) ? 
     2 2 Exception: find_eggs_and_pika(1,1,[[o,e,j,p,o],[o,j,o,o,o],[o,j,mt,j,o],[o,o,e,o,...],[p,o,j,...]],_339,0,0,0,0,_373) ?

is_masterball()が失敗したが、その後、それはようなものだ（それはこの例では必要として）プロローグはfind_eggs_and_pika()にもう一度お電話をしようとしていますか？部分に移動する代わりに...more predicates部分。

出典

2016-11-03 Kendall Weihe