CLP(Flex): Constraint Logic Programming Applied to XML Processing

Coelho, Jorge; Florido, Mário

doi:10.1007/978-3-540-30469-2_17

CLP（Flex）：应用于XML处理的约束逻辑编程

会议文件

558访问
14引文

系列丛书的一部分：计算机科学讲义（（LNCS，第3291卷）

摘要

本文提出了一个约束求解模块CLP（Flex）的实现，用于处理带有灵活arity函数符号的项在等式理论中的统一。然后，我们介绍了CLP（Flex）在XML处理中的应用，其中XML文档是通过带有灵活arity符号的术语进行抽象的。这为XML处理提供了一个高度声明性的模型，在编程中产生了很大程度的灵活性。

这是订阅内容的预览，通过机构登录.

第章: 29.95欧元; 价格包括增值税（中国）

电子书: 85.59欧元; 价格包括增值税（中国）

软封面书籍: 99.99欧元; 价格不含增值税（中国）

税务计算将在结账时完成

购买仅供个人使用

了解机构订阅

预览

无法显示预览。下载预览PDF格式。

参考文献

Benzaken，V.，Castagna，G.，Frisch，A.：CDuce：一种以XML为中心的通用语言。摘自：第八届ACM SIGPLAN函数式编程国际会议记录，瑞典乌普萨拉，第51-63页。ACM出版社，乌普萨拉（2003）
第章谷歌学者
Boley，H.：逻辑编程和XML之间的关系。In：程序。第14届Logische计划研讨会（2000年）
谷歌学者
Bry，F.，Schaffert，S.：XML查询语言Xcerpt：设计原则、示例和语义。收录：第二届年度国际研讨会网站和数据库。LNCS，第2593卷，斯普林格，海德堡（2002）
谷歌学者
Bry，F.，Schaffert，S.：面向XML和半结构化数据的声明式查询和转换语言：模拟统一。In:逻辑程序设计国际会议，LNCS，第2401卷（2002）
谷歌学者
Buchberger，B.，Dupre，C.，Jebelean，T.，Konev，B.，Kriftner，F.，Kutsia，T.、Nakagawa，K.、Piroi，F.、Vasaru，D.、Windsteiger，W.：定理系统：工作数学家的证明、求解和计算。林茨约翰内斯·开普勒大学符号计算研究所技术报告00-38（2000）
谷歌学者
Cheadle，A.M.、Harvey，W.、Sadler，A.J.、Schimpf，J.、Shen，K.、Wallace，M.G.：ECLiPSe:简介。技术报告IC-Parc-03-1，IC-Parc，伦敦帝国理工学院（2003）
谷歌学者
Coelho，J.，Florido，M.：逻辑编程中基于类型的XML处理。收录：Dahl，V.，Wadler，P.（编辑）PADL 2003。LNCS，第2562卷，第273-285页。施普林格，海德堡（2002）
第章谷歌学者
Coelho，J.，Florido，M.：CLP（Flex）：应用于XML处理的约束逻辑编程。技术报告，DCC-FC，LIACC。波尔图大学（2004），网址： www.ncc.up.pt/~jcoelho/clpflex.pdf
Colmerauer，A.：Prolog III简介。ACM通讯33（7），69–90（1990）
第条谷歌学者
Colmerauer，A.：Prolog III参考和用户手册，1.1版。In:PrologIA，马赛（1990）
谷歌学者
Farquhar，A.，Fikes，R.，Rice，J.：本体语言服务器：用于协作本体构建的工具。《国际人类计算机研究杂志》46（6），707–727（1997）
第条谷歌学者
Genesereth，M.R.，Fikes，R.E.：知识交换格式，3.0版参考手册TR Logic-92-1。斯坦福大学技术报告（1992年）
谷歌学者
Hosoya，H.，Pierce，B.：XDuce：一种类型化的XML处理语言。In：Suciu，D.，Vossen，G.（编辑）WebDB 2000。LNCS，第1997卷，第226页。斯普林格，海德堡（2000）
第章谷歌学者
Jaffar，J.：最小和完整的单词统一。ACM杂志37（1），47–85（1990）
第条数学数学科学网谷歌学者
Jaffar，J.，Lassez，J.L.：约束逻辑编程。收录：第十四届ACM年度交响乐会议录。《编程语言原理》，POPL 1987，德国慕尼黑，第111-119页。纽约ACM出版社（1987）
谷歌学者
Jaffar，J.，Maher，M.J.：约束逻辑编程：一项调查。《逻辑程序设计杂志》19/20，503–581（1994）
第条数学科学网谷歌学者
Jaffar，J.、Michaylov，S.、Stuckey，P.J.、Yap，R.H.C.：CLP（R）语言和系统。事务处理。程序。语言系统。 14, 339–395 (1992)
第条谷歌学者
Kutsia，T.：与序列变量和灵活的arity符号的统一及其与模式项的扩展。收录：Calmet，J.、Benhamou，B.、Caprotti，O.、Hénocque，L.、Sorge，V.（编辑）AISC 2002和Calculemus 2002。LNCS（LNAI），第2385卷，第290-304页。施普林格，海德堡（2002）
第章谷歌学者
Lloyd，J.W.：《逻辑编程基础》，第2版。斯普林格，海德堡（1987）
数学谷歌学者
Makanin，G.S.：自由半群中方程的可解性问题。数学。苏联斯博尼克103、147–236（1977）
数学科学网谷歌学者
May，W.：XPathLog：一种声明性的本地XML数据操作语言。参加：国际数据库工程与应用研讨会（IDEAS 2001），法国格勒诺布尔，IEEE，洛斯阿拉米托斯（2001）
谷歌学者
枕头：网络上（约束）逻辑语言编程， http://clip.dia.fi.upm.es/Software/pillow/pillow.html
SWI序言， http://www.swi-prolog.org/
舒尔茨，K.U.：广义方程的单词统一和转换。《自动推理杂志》11（2），149–184（1993）
第条数学数学科学网谷歌学者
Smolka，G.：统一语法的特征约束逻辑。逻辑程序设计杂志12，51–87（1992）
第条数学数学科学网谷歌学者
可扩展标记语言（XML）， http://www.w3.org/XML/
XSL转换（XSLT）（1999）， http://www.w3.org/TR/xslt/
静电， http://www.cis.upenn.edu/~bc皮尔斯/xtatic/

下载参考资料

作者信息

作者和附属机构

葡萄牙波尔图高级工程学院和LIACC
若尔热·科埃略
DCC-FC和LIACC，波尔图大学，葡萄牙波尔图
马里奥·弗洛里多

作者

若尔热·科埃略
查看作者出版物
您还可以在中搜索此作者公共医学谷歌学者
马里奥·弗洛里多
查看作者出版物
您还可以在中搜索此作者公共医学谷歌学者

编辑器信息

编辑和附属机构

比利时布鲁塞尔普莱茵兰2号G/10栋布鲁塞尔弗里杰大学（VUB）STARLab
罗伯特·梅尔斯曼
澳大利亚墨尔本维多利亚州3001斯旺斯顿街376-392号10.10栋皇家墨尔本理工大学计算机科学与信息技术学院
查希尔·塔里

权利和权限

转载和许可

版权信息

关于本论文

引用本文

Coelho，J.、Florido，M.（2004）。CLP（Flex）：应用于XML处理的约束逻辑编程。收录：Meersman，R.、Tari，Z.（编辑）《2004年迈向有意义的互联网系统：CoopIS、DOA和ODBASE》。OTM 2004。计算机科学课堂讲稿，第3291卷。施普林格，柏林，海德堡。https://doi.org/10.1007/978-3-540-30469-2_17

下载引文

内政部:https://doi.org/10.1007/978-3-540-30469-2_17
发布者名称:施普林格、柏林、海德堡
打印ISBN:978-3-540-23662-7
在线ISBN:978-3-540-30469-2
电子书包:斯普林格图书档案馆

与我们一起发布

政策和道德

摘要

购买期权

预览