%0 Journal Article
%T A Survey of Constraint Logic Programming<br>约束逻辑程序设计综述
%A Dang Huarui & Zheng Shouqi
%A <br>党华锐
%A 郑守淇
%J 计算机科学
%D 1994
%I 
%X Constraint Logic Programming (CLP)is a new method of logic programming which has been developed rapidly during 1980's. It combines the declarative expressions of logic programming and the effectiveness of constraint solver. This paper describes the foundation, syntax and formal semantics of CLP. Then some instances of CLP languages are given and compared. Finally,some trends of researching in CLP are introduced.
%K Constraint
%K Constraint Logic Programming
%K Semantics<br>程序设计
%K 逻辑程序
%K 约束
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6F40F0BBCB237A4875D21DEA649F6DDD&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=E158A972A605785F&sid=708DD6B15D2464E8&eid=F3583C8E78166B9E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0