Question

根据我的理解，如果我有一个析取正态形式的谓词（如(A && B) || (C && D) --> pred），那么我可以进行以下操作。

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

这是对的吗？如果是这样，请查看以下代码。

我有以下三个谓词......

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.时，我得到以下内容：

{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()失败（在此示例中应该如此）但是它就像Prolog试图再次呼叫find_eggs_and_pika()一样？而不是移动到...more predicates部分。

Answer 1

在您的代码中，您使用的是nth1(Y, Maze, Row)和nth1(X, Row, mb)，我认为您需要编写＆＃34; Mb＆＃34;而不是＆＃34; mb＆＃34;。你应该知道，在prolog中，以大写字母开头的单词被视为变量。

Answer 2

结果new stdClass谓词后面的谓词是造成异常的原因。

当谓词失败时Prolog抛出异常

2 个答案: