摘要
1 BLAND，R.G.单纯形方法的新有限旋转规则。 数学。 操作。 第2号决议（1977年），103-107。 谷歌学者 
2 BORMNG，A.面向约束的模拟实验室ThingLab的编程语言方面。 ACM事务处理。 程序。 语言系统。 3，4（1981年10月），252-387。 谷歌学者 三 COLLINS，G.E.真实闭域的量词消除：文献指南。 计算机代数：符号和代数计算。 《计算补编第4号》，Buchberger，B.、Loos，R.和Collins，G.E.Eds.，SpringerWerlag，纽约，1982年，79-81。 谷歌学者 4 COLMERAUER，A.PROLOG II参考手册和理论模型。 国际代表团情报局，艾克斯大学-马赛II，1982年10月。 谷歌学者 5 COLME~AUER，A.PROLOG-III最终规范。手稿，ESPRIT参考号P1219（1106），1988年2月。 参见atso打开PROLOG-III宇宙。 字节12,9（1987年8月），177-482。 谷歌学者 6 COLMERAUER，A.PROLOG-III简介，Commun。 ACM公司。 33、7（1990年7月）、69-90。 谷歌学者 7 DE KLEER，J.和SUSSMAX，G.J.应用于电路合成的约束传播。 电路理论应用。 8 (1980), 127-144. 谷歌学者 8 DINCBAS，M.、VAN HENTENRYCK，P.、SIMONIS，H.和AGGOUN，A.约束逻辑编程语言CHIP。 《Fifih Generatwrz计算机系统第二届国际会议论文集》（东京，1988年11月），第249-264页。 谷歌学者 9 DUFFIN，R.J.关于线性不等式系统的傅里叶分析。 数学。 程序。 螺柱.1（1974），71-95。 谷歌学者 10 GORLICK，M.M.、KESSELMAN，C.F.、MAROTTA，D.A.和PARKER，D.S.Mockingbird：测试的逻辑方法。 J.逻辑程序。 8/1/2（1990年1月），95-119 谷歌学者 11 汉森，B.S.和汉森，M.R.基于方程式和不等式的简单符号和数值计算，计算机科学研究代表，IBM研究实验室，加利福尼亚州圣何塞，1985年6月。 谷歌学者 12 HARLAND，J.A.和MICHAYLOV，S.《实现ODE解算器：CLP方法》，技术代表87/92，蒙纳士大学计算机科学系，1987年6月。 谷歌学者 13 北卡罗来纳州海因茨，加菲%J.，L； rM，C.S.，MICI4AYLOV，8.，8TUCKEY，P.J.YAP，R.，AND YEE，C.N.《CLP（：2）程序员手册》——第1版，技术代表59，莫纳什大学计算机科学系，1986年6月。 谷歌学者 14 北卡罗来纳州海因茨、密歇根州米卡耶洛夫和斯图基州P.J.CLP（~'~）以及一些电气工程问题。 《第四届国际逻辑程序会议论文集》（1987年6月，墨尔本），麻省理工学院出版社，第675 703页。 出现在J Aurore身上。 理由。 谷歌学者 15 HEISSE ~ MAN，J.A Generative geometry design and boundary solid gTammars，技术代表EDRC-48-21-90，卡内基梅隆大学工程与设计研究中心，1990年8月。 谷歌学者 16 HUYNH，T，AND LASSEZ，J.-L《多面体集投影的实际问题》，IBM Res.Rep.RC 15872-705601990年6月。 谷歌学者 17 JAFFAR，J.和LASSEZ，J.-L.约束逻辑编程，技术代表86/73，莫纳什大学计算机科学系，1986年6月。 摘要出现在Proeeedings 14th A CM oEymposzum on Princzples of Programramraing Languages（慕尼黑，1987年1月），第111-119页。 谷歌学者 18 JAFFAR，J.和MICHAYLOV，S.《CLP系统的方法和实现》，技术代表86/75，蒙纳士大学计算机科学系，1986年11月。 另见《第四届逻辑编程国际会议论文集》（MeIbourne，1987年6月），麻省理工学院出版社，第196-218页。 谷歌学者 19 KARWAN，M H.，LOFTI，V.，TELGEN，J.，AND ZIONTS，S，《数学编程中的冗余：一项最新的调查》。 Springer-Verlag经济学和数学系统讲稿2061983。 谷歌学者 20 KOHLER，D.A.多面体集合的投影。 博士论文，技术代表ORC-67-29，美国大学歌剧研究中心。 加州大学伯克利分校，1967年8月 谷歌学者 21 KONOPASEK，M.和JAYARAMAN，S工程应用的约束和声明语言：TK！ 解算器贡献。 程序。 IEEE标准。 73,12（1985年12月），1791-1806。 谷歌学者 22 LASSEZ，J.-L，HUYNH，T，AND McALOON，K.简化和消除冗余线性算术约束。 《Fzrst North Amemcan逻辑编程会议记录》（克利夫兰，俄亥俄州，1989年10月），麻省理工学院出版社，第35-51页 谷歌学者 23 LASSEZ，J.-L，AND McALooN，K线性约束的广义规范形式及其在程序中的应用，第五代计算机系统国际会议（东京，1988年11月），第703-710页。 谷歌学者 24 LASSEZ，C.、McALooN，K.和YAP，R.约束逻辑编程和期权交易。 IEEE Expert 2，3金融软件专刊（1987年8月），41-50。 谷歌学者 25 MATHLAB GRouP公司。 《Macsyma参考手册》，麻省理工学院，1977年。 谷歌学者 26 MUKAI，K语言分析的逻辑编程系统。 ICOT技术代表TR-5401990年。 谷歌学者 27 NAm~，L.墨尔本大学计算机科学系技术代表MU-PROLOG 3.2db参考手册，1985年。 谷歌学者 28 RAYNA，G.Reduce：代数计算软件。 1987年，纽约，施普林格 谷歌学者 29 SAKA~，K.，AND AmA，A.CAL:CLP及其应用的理论背景。 符号计算。 8、6（1989年12月）。 589-603. 谷歌学者 30 并发逻辑编程语言CP：指称语义和操作语义。 《第14届ACM程序设计语言原理研讨会论文集》（慕尼黑，1987年1月），第49-62页。 谷歌学者 31 SCHRIVVER，A.Lznear和整数规划理论，威利，纽约，1986年。 谷歌学者 32 SICStus PROLOG用户手册瑞典计算机科学研究所，1989年。 谷歌学者 33 STALLMAN，R.M和SUSSMAN，G.J.计算机辅助电路分析系统中的正向推理和依赖定向回溯。 艺术与智力。 9，2（1977年10月），135-196。 谷歌学者 34 STEELE，G.L.和SUSSMAN，G.J.约束。 在APL 79程序中。 ACM SIGPLAN STAPL APL报价Quad，9，4（1979年6月），208-225。 谷歌学者 35 基于约束的计算机编程语言的实现和定义。 麻省理工学院电气工程与计算机科学系博士论文（MIT-AI TR 595），1980年8月。 谷歌学者 36 STERLING，L.和SHAPmO，E.Y.语言的艺术。 麻省理工学院逻辑编程新闻系列，1986年。 谷歌学者 37 计算机辅助电路分析中的SUSSMAN，G J.和STALLMAN，R.M Heurmtic技术。 IEEE传输。 C~rcu~ts系统。 CAS-2211（1975年11月），857-865。 谷歌学者 38 STUCKE~，P.J.隐式等式的增量线性算术约束求解和检测。 ORSA J.计算。， 3, 4 (1991), 269-274. 谷歌学者 39 THOM，J.A.和ZOBEL，J.，EDS.NU-PROLOG参考手册-1.3版。 技术代表86/10，墨尔本大学计算机科学系，1986年。 1988年修订。 谷歌学者 40 TOmAS II，J.C.和声智能教学系统中的知识表示。 1988年，加州大学洛杉矶分校计算机科学系硕士论文。 谷歌学者 41 WALINSKY，C.CLP（~*）：用正则集进行约束逻辑编程。 《第六届逻辑编程国际会议论文集》（里斯本，1989年6月），麻省理工学院出版社，第181-196页。 谷歌学者 42 YAP，R.H.C.CLP中的限制性场地测绘（/2）。 第八届逻辑程序设计国际会议（巴黎，1991年6月），麻省理工学院出版社，第521-534页。 谷歌学者 43 ZIMA，H.P.约束语言及其解释器。 加利福尼亚州圣何塞市IBM研究实验室计算机科学研究代表，1985年6月。 谷歌学者
索引术语
CLP（ ℛ ) 语言和系统
建议
描述和评估集成CLP和表格执行的通用设计 PPDP’16：第18届声明性编程原则与实践国际研讨会论文集 带有表格和约束的逻辑编程系统（TCLP， 表约束逻辑程序设计 )已经证明，与那些只提供列表或约束的功能相比，它更具表现力，在某些情况下也更高效。 以前的实现。。。 CLP中的功能约束层次结构 CP'96：第二届约束编程原理与实践国际会议论文集 HCLP将CLP扩展为包括约束层次结构。 我们提出了一种基于我们之前工作和比较器扩展概念的算法，用于在程序中的替代规则选择产生的层次结构之间进行比较。
