局部求值与约束求解相结合:约束逻辑规划的新方法

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI:10.1109/TAI.1990.130387

Jin-Kao Hao, J. Chabrier

{"title":"局部求值与约束求解相结合:约束逻辑规划的新方法","authors":"Jin-Kao Hao, J. Chabrier","doi":"10.1109/TAI.1990.130387","DOIUrl":null,"url":null,"abstract":"It is argued that constraint logic programming (CLP) systems can be built 'loosely' by separating a system into independent parts to avoid some repeated processing, and thus to increase further the efficiency of CLP systems. An architecture scheme is presented. Systems based on the architecture have desirable modularity. The system Conslog is described as an instance of the scheme. Conslog consists of two independent parts: a partial evaluator to carry out logical inferences and a solver in finite domains. The efficiency and behavior of the system are shown on a cryptarithmetic problem. The system is extensible.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"1234 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Combining partial evaluation and constraint solving: a new approach to constraint logic programming\",\"authors\":\"Jin-Kao Hao, J. Chabrier\",\"doi\":\"10.1109/TAI.1990.130387\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"It is argued that constraint logic programming (CLP) systems can be built 'loosely' by separating a system into independent parts to avoid some repeated processing, and thus to increase further the efficiency of CLP systems. An architecture scheme is presented. Systems based on the architecture have desirable modularity. The system Conslog is described as an instance of the scheme. Conslog consists of two independent parts: a partial evaluator to carry out logical inferences and a solver in finite domains. The efficiency and behavior of the system are shown on a cryptarithmetic problem. The system is extensible.<<ETX>>\",\"PeriodicalId\":366276,\"journal\":{\"name\":\"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence\",\"volume\":\"1234 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1990.130387\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1990.130387","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

本文认为，约束逻辑编程(CLP)系统可以通过将系统分离为独立的部分来“松散”地构建，以避免一些重复处理，从而进一步提高CLP系统的效率。提出了一种体系结构方案。基于该体系结构的系统具有理想的模块化。系统日志被描述为该方案的一个实例。conlog由两个独立的部分组成:用于逻辑推理的部分求值器和有限域中的求解器。在一个密码问题上证明了该系统的有效性和性能。该系统具有可扩展性。

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

查看原文本刊更多论文

Combining partial evaluation and constraint solving: a new approach to constraint logic programming

It is argued that constraint logic programming (CLP) systems can be built 'loosely' by separating a system into independent parts to avoid some repeated processing, and thus to increase further the efficiency of CLP systems. An architecture scheme is presented. Systems based on the architecture have desirable modularity. The system Conslog is described as an instance of the scheme. Conslog consists of two independent parts: a partial evaluator to carry out logical inferences and a solver in finite domains. The efficiency and behavior of the system are shown on a cryptarithmetic problem. The system is extensible.<>

求助全文

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

来源期刊

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence

自引率

0.00%

发文量