相关疑难解决方法(0)

Common Lisp允许通过条件和重新启动进行异常处理.粗略地说,当函数抛出异常时,"捕手"可以决定"投掷者"应该如何进行.Prolog是否提供类似的系统？如果没有,是否可以在现有谓词的基础上构建一个步行和检查调用堆栈？