F·J·洛佩斯·弗拉瓜斯。；Sánchez-Hernández，J。 失败的功能逻辑编程：面向集合的视图。 （英语） Zbl 1275.68047号 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，455-469（2001）。 摘要：计算的有限失败在逻辑编程范式中作为编程结构发挥着重要作用，并且已经表明，这也扩展到了函数逻辑编程范式的情况。我们特别考虑了CRWLF，这是一个以前的证明理论语义框架，能够从功能逻辑程序中推断出否定（失败）信息。CRWLF中考虑的函数的非确定性自然导致了表达式的集值语义描述。在这里，我们重新制定了框架，以强调在句法和语义层面上的风格。由于使用了集合并集或集合族等经典数学概念，因此我们获得了与前一种方法等价的结果，从而提高了编写程序的表达能力，并（希望）澄清了对非确定性函数语义的理解。改写过程中的一个重要步骤是一个有用的程序转换，该转换在框架内被证明是正确的。关于整个系列，请参见[Zbl 1046.03001号]. 引用于2文件 MSC公司： 68N17号 逻辑编程 68甲18 函数编程和lambda演算 软件：玩具 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López-Fraguas}和\textit{J.Sánchez-Hernández}，莱克特。注释计算。科学。2250、455--469（2001年；Zbl 1275.68047） 全文： 内政部