prolog - 在 SWI Prolog 中引发错误

Question

我想打印一条消息并停止对谓词的评估。我怎么做？

Answer 1

看看这个link其中描述了 Prolog 中的 catch/3 和 throw/1 机制。

使用这种机制可以抛出异常或处理异常。

示例(在网站上给出)是:

  p:- true.
  p:- throw(b).
  q:- catch(p, B, write('hellop')), r(c).
  r(X) :- throw(X).

然后调用:

 ?- catch(p, X, (write('error from p'), nl)).

将说明 ecxeption 处理。