摘要
APT，K.、BRUNEKREEF，J.、PARTINGTON，V.和SCHAERF，A.1998年。 Alma-O：一种支持声明式编程的强制语言。 《美国计算机学会编程语言与系统汇刊》20，5（9月），1014-1066。]] 谷歌学者 
数字图书馆 
APT，K.和SCHAERF，A.1997年。 搜索和强制编程。 程序中。 第24届SIGPLAN-SIGACT编程语言原则研讨会（POPL'97）（1997年1月），第67-79页。 ACM出版社。]] 谷歌学者 数字图书馆 BISSCHOP，J.AND MEERAUS，A.1982年。 战略规划环境中通用代数建模系统的开发。 数学规划研究20，1-29。]] 谷歌学者 交叉引用 
BOROVANSKY，P.、KIRCHNER，C.、KIRCHNER，H.、MOREAU，P.和Ringessen，C.1998年。 Elan概述。 《第二届重写逻辑及其应用国际研讨会论文集》（法国，Pont-A-Mousson，1998年9月）。]] 谷歌学者 交叉引用 CARLIER，J.A.和PINSON，E.1990。 实际使用Jackson的先发制人时间表解决Job-Shop问题。 运筹学年鉴26，269-287。]] 谷歌学者 数字图书馆 CHENG，B.、LEE，J.、LEUNG，H.和LEUNG、Y.，1996年。 通过冗余建模加速约束传播。 《第二届约束编程原理与实践国际会议论文集》（CP'96）（马萨诸塞州剑桥，1996年8月）。 施普林格出版社。]] 谷歌学者 数字图书馆 COLMERAUER，A.1990年。 Prolog III Commun简介。 顶点28，412-418。]] 谷歌学者 数字图书馆 COLMERAUER，A.1996年。 Prolog IV规范技术报告，马赛信息实验室。]] 谷歌学者 DEMEULESMEESTER，E.AND HERROELEN，W.1992年。 多资源约束项目调度问题的分枝定界方法。 管理科学38，1803-1818。]] 谷歌学者 交叉引用 DINCBAS，M.、SIMONIS，H.和VAN HENTENRYCK，P.，1988年。 解决约束逻辑编程中的切削库存问题。 第五届逻辑程序设计国际会议（西雅图，华盛顿州，1988年8月）。]] 谷歌学者 DINCBAS，M.，VAN HENTENRYCK，P.，SIMONIS，H.，aggun，A.，GRAF，T.和BERTHIER，1988年成立。 约束逻辑程序设计语言CHIP。 《第五代计算机系统国际会议论文集》（日本东京，1988年12月）。]] 谷歌学者 FOURER，R.、GAY，D.和KERNIGHAN，B.1993年。 AMPL：数学编程的建模语言。 科学出版社，加利福尼亚州旧金山。]] 谷歌学者 HARVEY，W.和GINSBERG，M.1995年。 有限差异搜索。 《第十四届国际人工智能联合会议论文集》（加拿大蒙特利尔，1995年8月）。]] 谷歌学者 数字图书馆 ILOG OPL工作室3.0。 2000.参考手册。 Ilog SA，法国Gentilly。]] 谷歌学者 ILOG溶液4.4。 1998年。参考手册。 Ilog SA，法国Gentilly。]] 谷歌学者 JAFFAR，J.、MICHAYLOV，S.、STUCKEY，P.和YAP，R.1992年。 CLP（<；）语言和系统。 ACM事务处理。 关于编程语言和系统14、3、339-395。]] 谷歌学者 数字图书馆 LABURTHE，F.和CASEAU，Y.1998年。 SALSA：搜索算法语言。 在第四次约束规划原则与实践国际会议（CP'98）（意大利比萨，1998年10月）。]] 谷歌学者 数字图书馆 MAHER，M.1987年。 一类承诺选择程序的逻辑语义。 第四届逻辑程序设计国际会议（澳大利亚墨尔本，1987年5月），第858-876页。]] 谷歌学者 MARTIN，D.和SHMOYS，P.1996。 基于时间的Job-Shop问题解决方法。 程序中。 第五届整数规划和组合优化国际会议（IPCO’96）（加拿大温哥华，1996）。 施普林格出版社。]] 谷歌学者 交叉引用 MCALOON，K.和TRETKOFF，C.1995年。 2LP：线性编程和逻辑编程。 在V.SARASWAT和P.V.HENTENRYCK编辑的《约束编程的原理和实践》中。 马萨诸塞州坎布里奇：麻省理工学院出版社。]] 谷歌学者 佩龙，L.1999。 约束编程中的搜索过程和并行性。 第五届约束编程原理与实践国际会议（CP'99）（弗吉尼亚州亚历山大，1999年10月）。]] 谷歌学者 数字图书馆 普吉特，J.-F.，1994年。 CLP的C++实现。 SPICIS’94会议记录（新加坡，1994年11月）。]] 谷歌学者 玫瑰。 1985.程序设计lin~aire et extensions； 《经典问题》，《练习与问题》第3卷。 巴黎马森。]] 谷歌学者 萨拉斯瓦特，1993年版。 并发约束编程。 ACM博士学位论文奖：逻辑编程。 麻省理工学院出版社，马萨诸塞州剑桥。]] 谷歌学者 数字图书馆 SAVELBERGH，M.1994年。 混合整数规划问题的预处理与探索。 ORSA计算杂志6，445-454。]] 谷歌学者 交叉引用 SCHULTE，C.1997年。 编程约束推理引擎。 《第三届约束编程原理与实践国际会议论文集》，第1330卷（奥地利林茨Schloss Hagenberg，1997年10月），第519-533页。 施普林格-弗拉格。]] 谷歌学者 数字图书馆 SCHULTE，C.2000年。 编程深度并发约束组合器。 《第二届声明性语言实践方面国际研讨会论文集》（PADL'00），第1753卷（马萨诸塞州波士顿，2000年1月）。 施普林格-弗拉格。]] 谷歌学者 数字图书馆 斯莫尔卡，G.1995。 Oz编程模型。 J.VAN LEEUWEN编辑，《今日计算机科学》。 LNCS，No.1000，Springer Verlag。]] 谷歌学者 数字图书馆 VAN HENTENRYCK，P.1989年。 逻辑程序设计中的约束满足。 《逻辑编程系列》，麻省理工学院出版社，马萨诸塞州剑桥。]] 谷歌学者 数字图书馆 VAN HENTENRYCK，P.1997年。 可视化求解器：约束编程的建模语言。 第三届约束编程原理与实践国际会议（CP’97）（1997年10月，奥地利林茨）。 （特邀演讲）。]] 谷歌学者 VAN HENTENRYCK，P.1999年。 OPL优化编程语言。 麻省理工学院出版社，马萨诸塞州剑桥。]] 谷歌学者 数字图书馆 VAN HENTENRYCK，P.和DEVILLE，Y.1991年。 基数运算符：一种新的逻辑连接词及其在约束逻辑编程中的应用。 第八届逻辑程序设计国际会议（ICLP-91）（巴黎（法国），1991年6月）。]] 谷歌学者 VAN HENTENRYCK，P.，MICHEL，L.，LABORIE，P.、NUIJTEN，W.和ROGERIE，J.，1999年。 OPL工作室中的组合优化。 第九届葡萄牙人工智能国际会议（EPIA’99）会议记录（1999年9月，葡萄牙埃沃拉）。 （邀请论文）。]] 谷歌学者 数字图书馆 VAN HENTENRYCK，P.、MICHEL，L.、PERRON，L.和REGIN，J.1999年。 《OPL中的约束编程》，载于《声明性编程原则与实践国际会议论文集》（PPDP'99）（法国巴黎，1999年9月）。 （邀请论文）。]] 谷歌学者 数字图书馆
建议
用简单的完全搜索嵌入逻辑编程 DLS’16 我们提供了一个简单的完整搜索，简单的、按调用值嵌入的小型逻辑编程语言。 我们在Racket的54行中构建了整个语言，其中一半实现了统一。 然后我们在上面分层，分成43行。。。
