×
F·J·洛佩斯·弗拉瓜斯。;Sánchez-Hernández，J。

功能逻辑编程中的失败和相等。 （英语） Zbl 1270.68061号

Brim，Lubos（编辑）等人，WFLP 2003。2003年6月12日至13日，西班牙巴伦西亚，第十二届函数和约束逻辑编程国际研讨会论文集（与RDP’03，重写、演绎和编程联合会议相关）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第3期，123-143（2003）。
摘要：构造性失败（Constructive failure）是最近被提出的一种对函数逻辑编程有用的编程构造，在逻辑编程中起着类似于构造性否定的作用。另一方面，几乎任何函数逻辑程序都需要在表达式之间使用某种相等测试。在这项工作中，我们以严格的方式面对失败与平等的相互作用（即使是非地面表达），这是一个不平凡的问题，特别需要在建设性失败的运作机制层面上使用不合格条件。作为一个有趣的副产品，我们通过赋予函数逻辑编程中的等式和不等式功能状态，开发了一种新的处理方法，这种方法比以前的建议更适合于实践。
关于整个系列，请参见[Zbl 1271.68025号].

引用于1文件

MSC公司：

68N17号 逻辑编程
68甲18 函数编程和lambda演算
68号30 软件工程的数学方面（规范、验证、度量、需求等）
03B70号 计算机科学中的逻辑

软件：

玩具
PDF格式BibTeX公司 XML格式引用
\textit{F.J.López-Fraguas}和\textit{J.Sánchez-Hernández}，电子。注释Theor。计算。科学。86，No.3，123--143（2003；Zbl 1270.68061）
全文： 链接

参考文献：

[1] Abengózar-Carneros M.等人，“TOY:一种多参数声明语言，2.0版”，技术报告SIP 119/00，UCM马德里，2002年2月。可在http://titan.sip.ucm.es/toy/toyreport.pdf。
[2] Antoy S.定义树。程序中。代数和逻辑编程国际会议（ALP'92），第143-157页，施普林格LNCS 6321992。
[3] S.Antoy，基于构造函数的条件收缩。程序。《声明性编程原则与实践国际会议》（PPDP'01），199-206页，ACM出版社，2001年。
[4] Apt，K.R。；Bol，R.：逻辑编程与否定：一项调查。逻辑编程杂志19&20，9-71（1994）·Zbl 0942.68518号
[5] Arenas-Sánchez，P。；Gil-Luezas，A。；Fraguas，F.J.López：结合惰性狭窄和疾病限制。程序。国际交响乐团。关于编程语言实现和逻辑编程（PLILP'94）844385-399（1994）
[6] Chan，D.：基于完整数据库的建设性否定。程序。内部配置和症状。关于逻辑编程（ICSLP'88），111-125（1988）
[7] 克拉克·K·L·：否定就是失败。”逻辑和数据库”，293-322（1978）
[8] González-Moreno，J.C。；Hortalá-González，T。；洛佩斯·弗拉瓜斯，F.J。；Rodríguez-Artalejo，M.：声明式编程的重写逻辑。程序。欧洲症状。关于编程（ESOP’96）1058156-172（1996）·Zbl 0942.68060号
[9] González-Moreno，J.C。；Hortalá-González，T。；洛佩斯·弗拉瓜斯，F.J。；Rodríguez-Artalejo，M.：基于重写逻辑的声明式编程方法。《逻辑编程杂志》40，第1期，47-87（1999）·Zbl 0942.68060号
[10] Hanus，M.：将函数集成到逻辑编程中：从理论到实践。《逻辑编程杂志》19和20，583-628（1994）·Zbl 0942.68526号
[11] Hanus，M.（编辑）。”Curry：一种集成的函数逻辑语言。”可在http://www.informatik.uni-kiel.de/curry/report.html，2003年4月。
[12] 哈纳斯，M。；Steiner，F.：控制声明性程序中的搜索。程序。国际交响乐团。关于编程语言实现和逻辑编程（PLILP/ALP’98）1490，374-390（1998）·Zbl 0949.68034号
[13] 洛佩斯·弗拉瓜斯，F.J。；Sánchez-Hernández，J.：TOY：一个多参数声明系统。程序。重写技术和应用国际会议（RTA’99）1631，244-247（1999）
[14] 洛佩斯·弗拉瓜斯，F.J。；Sánchez-Hernández，J.：不平等可能有助于缩小差距。程序。APPIA-GULP-PRODE，89-104（1999）
[15] 洛佩斯·弗拉瓜斯，F.J。；Sánchez-Hernández，J.：证明功能逻辑程序中的失败。程序。计算逻辑国际会议（CL'00）1861、179-193（2000）·兹伯利0983.68503
[16] 洛佩斯·弗拉瓜斯，F.J。；Sánchez-Hernández，J.：失败的函数逻辑编程：面向集合的观点。程序。逻辑编程和自动推理国际会议（LPAR’01）2250，455-469（2001）·Zbl 1275.68047号
[17] L.ópez-Fraguas，F.J.和J.Sánchez-Hernández。函数逻辑编程中失败的证明理论方法。出现在逻辑程序设计理论与实践中。
[18] 洛佩斯·弗拉瓜斯，F.J。；Sánchez Hernández，J.：函数逻辑编程中的失败。程序。国际交响乐团。关于函数和逻辑编程（FLOPS’02）2441、212-227（2002）·Zbl 1019.68018号
[19] Moreno-Navarro，J.J.：默认规则：基于狭义语言的构造否定的扩展。程序。逻辑编程国际会议（ICLP’94），535-549（1994）
[20] Moreno-Navarro，J.J.：在惰性函数逻辑语言中扩展部分函数的构造否定。程序。逻辑编程的扩展（LP'96）1050，213-227（1996）
[21] Reynolds，J.C.：《编程语言理论》。(1998) ·兹比尔0972.68507
[22] Stuckey，P.J.：约束逻辑编程的构造性否定。程序。计算机科学逻辑国际会议（LICS’91），328-339（1991）
[23] Stuckey，P.J.：否定和约束逻辑编程。信息与计算118，12-33（1995）·Zbl 0827.68022号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。