{"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}
引用次数: 2
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
