约束逻辑程序系统开发的框架和技术

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI:10.1109/TAI.1994.346503

S. Michaylov

{"title":"约束逻辑程序系统开发的框架和技术","authors":"S. Michaylov","doi":"10.1109/TAI.1994.346503","DOIUrl":null,"url":null,"abstract":"We study the systematic development of constraint logic programs from the viewpoint of \"skeletons and techniques\" as described by M. Kirschenbaum et al. (1994). We describe a number of fundamental skeleton classes for CLP, and generalize the notion of skeletons to deal with non-structural recursion. Then we describe a range of useful techniques for extending these skeletons. Furthermore, we introduce important classes of techniques that alter the control flow of skeletons in certain well-defined and desirable ways.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Skeletons and techniques for the systematic development of constraint logic programs\",\"authors\":\"S. Michaylov\",\"doi\":\"10.1109/TAI.1994.346503\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the systematic development of constraint logic programs from the viewpoint of \\\"skeletons and techniques\\\" as described by M. Kirschenbaum et al. (1994). We describe a number of fundamental skeleton classes for CLP, and generalize the notion of skeletons to deal with non-structural recursion. Then we describe a range of useful techniques for extending these skeletons. Furthermore, we introduce important classes of techniques that alter the control flow of skeletons in certain well-defined and desirable ways.<<ETX>>\",\"PeriodicalId\":262014,\"journal\":{\"name\":\"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1994.346503\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1994.346503","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

我们从M. Kirschenbaum等人(1994)所描述的“骨架和技术”的角度研究约束逻辑程序的系统发展。我们描述了CLP的一些基本骨架类，并推广了骨架的概念来处理非结构递归。然后，我们描述了一系列扩展这些框架的有用技术。此外，我们还介绍了一些重要的技术类别，这些技术以某些定义良好且理想的方式改变骨架的控制流。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Skeletons and techniques for the systematic development of constraint logic programs

We study the systematic development of constraint logic programs from the viewpoint of "skeletons and techniques" as described by M. Kirschenbaum et al. (1994). We describe a number of fundamental skeleton classes for CLP, and generalize the notion of skeletons to deal with non-structural recursion. Then we describe a range of useful techniques for extending these skeletons. Furthermore, we introduce important classes of techniques that alter the control flow of skeletons in certain well-defined and desirable ways.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94

自引率

0.00%

发文量