引用人
迈尔斯J和山口K (2021). 日本第五代计算项目， 大学计算科学杂志 , 36 :2 , (53-60), 在线发布日期：2020年10月1日 . Sierra-Sanibanez J基于Agent的语言系统出现和演化模型，用于布尔协调，第18届自治Agent和多Agent系统国际会议论文集，（1761-1763） 
孙X、张勇：机器人任务规划领域知识表示综述——2019年第四届数学与人工智能国际会议论文集，（176-183） Nunes-Harwitt A、Gambogi M和Whitaker T第49届ACM计算机科学教育技术研讨会快速排序会议记录，（547-549） Abed S、Mokhtari Y、Ait-Mohamed O和Tahar S (2011). NuMDG公司， 计算机科学与技术杂志 , 26 :1 , (139-152), 在线发布日期：2011年1月1日 . Marczak W、Huang S、Bravenboer M、Sherr M、Loo B和Aref M SecureBlox，2010年ACM SIGMOD国际数据管理会议论文集，（723-734） 奥滕J (2010). 限制连接计算中的回溯， AI通信 , 23 :2-3 , (159-182), 在线发布日期：2010年4月1日 . 逻辑对话参数对象的Moura P编程模式第18届声明式编程和知识管理应用国际会议论文集，（52-69） Abed S和Ait Mohamed O (2009). 基于多路决策图的LCF式平台， 理论计算机科学电子笔记 , 246 , (3-26), 在线发布日期：2009年8月1日 . Golemanova E、Kratchanov K和Golemanov T Spider与Prolog计算机系统与技术国际会议论文集和计算机博士生研讨会，（1-6） Golemanov T、Kratchanov K和Golemanova E Spider与Prolog计算机系统与技术国际会议论文集和计算机博士生研讨会，（1-7） Rabiah A、Sembok T和Halimah B (2009). 通过逻辑语言方法中的答案字面扩展概念提高文档理解能力， WSEAS信息科学与应用汇刊 , 6 :6 , (966-975), 在线发布日期：2009年6月1日 . Rabiah A、Sembok T和Halimah B使用扩展的逻辑语言方法概念对QA系统能力进行了扩展的答案提取2009年计算与信息科学国际会议论文集，（350-356） Bodden E、Chen F和Rosu G相关建议第八届ACM面向方面软件开发国际会议论文集，（3-14） Moura A和Ierusalimschy R (2009). 再次访问协同程序， 程序设计语言与系统学报 , 31 :2 , (1-31), 在线发布日期：2009年2月1日 . Abed S、Mohamed O和Al-Samine G (2009). 结合HOL归纳和多路决策图的抽象可达性方法， 计算机科学与技术杂志 , 24 :1 , (76-95), 在线发布日期：2009年1月1日 . Lhoták O和Hendren L (2008). 关系作为基于BDD的程序分析的抽象， 程序设计语言与系统学报 , 30 :4 , (1-63), 在线发布日期：2008年7月1日 . Sindico A、Bartolomeo G、Grassi V和Salsano S为基于中间件的应用程序设计和开发面向上下文的语言2008年下一代面向方面中间件研讨会论文集，（1-5） Provine D和Tinkham N (2008). DeSymbol、， 大学计算科学杂志 , 23 :3 , (38-43), 在线发布日期：2008年1月1日 . Sterling L Agent-oriented modeling第五届声明代理语言和技术国际会议论文集V，（1-17） Lopes A和Botelho L使用上下文感知服务执行代理执行语义web服务2007年AAMAS国际研讨会和SOCASE 2007面向服务计算会议论文集：代理、语义和工程，（1-15） Goertzen R和Stausberg J (2007). 医学文档系统中完整性约束的语法， 生物医学中的计算机方法和程序 , 86 :1 , (93-102), 在线发布日期：2007年4月1日 . Dimopoulos A、Pavlatos C、Panagopoulos I和Papakonstantinou G人工智能应用的高效硬件实现第四届希腊人工智能进展会议论文集，（35-45） Loo B、Hellerstein J、Stoica I和Ramakrishnan R (2005). 声明路由， ACM SIGCOMM计算机通信审查 , 35 :4 , (289-300), 在线发布日期：2005年10月1日 . Loo B、Hellerstein J、Stoica I和Ramakrishnan R《2005年计算机通信应用、技术、架构和协议会议论文集》（289-300） 比格斯塔夫T (2004). 基于变换的发电机的新架构， IEEE软件工程汇刊 , 30 :12 , (1036-1054), 在线发布日期：2004年12月1日 . Otten J和Bibel W (2003). 精益CoP， 符号计算杂志 , 36 :1-2 , (139-161), 在线发布日期：2003年7月1日 . 库马尔A (2002). 面向命令式程序员的Prolog， 大学计算科学杂志 , 17 :6 , (167-181), 在线发布日期：2002年5月1日 . Muggleton S和Firth J用CPROGO14.4关系数据挖掘进行关系规则归纳，（160-187） Le Gal C、Martin J、Lux A和Crowley J (2001). 智能办公， IEEE智能系统 , 16 :4 , (60-66), 在线发布日期：2001年7月1日 . Dong J设计组成的逻辑框架第22届国际软件工程会议论文集，（698-700） Grosof B、Labrou Y和Chan H合同中商业规则的声明性方法第一届ACM电子商务会议记录，（68-77） Bundy A今天的自动演绎人工智能调查（153-174） Jayaraman B、Govindarajan K和Mantha S (1998). 偏好逻辑语法， 计算机语言 , 24 :3 , (179-196), 在线发布日期：1998年10月1日 . van Renesse R面向目标的编程，或使用事件的组合，或被视为有害的线程第八届ACM SIGOPS支持组合分布式应用程序欧洲研讨会论文集，（82-87） Jones K和Privitera J Rambus设计功能测试向量的自动生成第33届设计自动化年会论文集，（415-420） 巴德·T和潘迪·R (1995). 别管范式了，多半径语言呢？， ACM SIGCSE公告 , 27 :2 , (25-30), 在线出版日期：1995年6月1日 . 斯隆纳K (1995). 使用逻辑编程执行SECD机器， ACM SIGCSE公告 , 27 :1 , (228-232), 在线发布日期：1995年3月15日 . Eigler F将GraphLog转换为SQL——1994年合作研究高级研究中心会议论文集 法官T、潘迪·R和巴德·T (1994). 编译器构造的多半径方法， ACM SIGPLAN通知 , 29 :9 , (29-37), 网上发布日期：1994年9月1日 . Karakostas V和Pourkashani L (1994). 在面向对象软件构建中结合使用语言， ACM SIGPLAN OOPS信使 , 5 :3 , (6-16), 在线出版日期：1994年7月1日 . Mehta A、Geller J、Perl Y和Neuhold E使用预计算访问相关性的OODB路径方法生成器（PMG）第二届信息和知识管理国际会议论文集，（596-605） Belli B和Jack O Prolog程序的基于实现的分析和测试1993年ACM SIGSOFT软件测试和分析国际研讨会论文集，（70-80） Belli B和Jack O (1993). 基于实现的Prolog程序分析和测试， ACM SIGSOFT软件工程说明 , 18 :3 , (70-80), 网上发布日期：1993年7月1日 . 纽马奇J (1993). 基于平面的Prolog递归方法， ACM SIGCSE公告 , 25 :2 , (12-18), 在线出版日期：1993年6月1日 . Dunn M和Knight J自动化现有软件中可重用部件的检测第15届软件工程国际会议论文集，（381-390） Stamatopoulos P、Karali I和Halatsis C (1993). 使用逻辑编程方法的旅游咨询系统， ACM SIGAPP应用计算评论 , 1 :1 , (18-25), 在线发布日期：1993年1月15日 . 拉泽克G (1992). 结合对象和关系， ACM SIGPLAN通知 , 27 :12 , (66-70), 在线发布日期：1992年12月1日 . Popovich S用于软件开发环境的基于规则的过程服务器协作研究高级研究中心1992年会议记录-第1卷，（477-497） Bollinger T和Pletat U (1992). 操作知识， IBM研究与开发杂志 , 36 :6 , (965-989), 在线发布日期：1992年11月1日 . Greiner R和Jurišica I解决EBL效用问题的统计方法第十届全国人工智能会议论文集，（241-248） Stamatopoulos P、Karali I和Halatsis C使用ElipSys推理系统生成PETINA——1992年ACM/SIGAPP应用计算研讨会论文集：20世纪90年代的技术挑战，（320-327） Schmidt H将控制知识传达给演绎数据库系统1992年ACM通信年会论文集，（439-446） Van Roy P和Despain A (1992). 使用Aquarius Prolog编译器的高性能逻辑编程， 电脑类 , 25 :1 , (54-68), 在线出版日期：1992年1月1日 . Bulter G和Iyer S (1991). 为小型简单群体建立演绎数据库， ACM SIGSAM公告 , 25 :4 , (7-17), 网上发布日期：1991年10月1日 . Niemi T和Järvelin K (1991). 基于Prolog的关系数据库表示和操作元规则， IEEE软件工程汇刊 , 17 :8 , (762-788), 在线出版日期：1991年8月1日 . Butler G、Iyer S和Ley S一个按顺序分组的演绎数据库128 1991年符号和代数计算国际研讨会论文集，（210-218） 门德尔松A和伍德P (1991). Horn子句查询中的函数依赖， ACM数据库系统事务 , 16 :1 , (31-55), 在线发布日期：1991年3月1日 . Minsky N和Rozenshtein D (1990). 协商一致的配置管理：法律管辖系统的应用， ACM SIGSOFT软件工程说明 , 15 :6 , (44-55), 在线发布日期：1990年12月1日 . 麦克劳林R (1990). 呼吁采用可读的Prolog编程风格， ACM SIGPLAN通知 , 25 :11 , (75-79), 在线发布日期：1990年11月1日 . Minsky N和Rozenshtein D共识配置管理：法律控制系统的应用第四届ACM SIGSOFT软件开发环境研讨会论文集，（44-55） 绿地P (1990). Bagof/3到ZF表达式， ACM SIGPLAN通知 , 25 :7 , (59-62), 在线出版日期：1990年7月1日 . Sibai F、Watson K和Lu M (1990). 一台并行统一机， IEEE微型 , 10 :4 , (21-33), 网上发布日期：1990年7月1日 . Sarma D和Wu C并行执行Prolog的流水线OR-并行体系结构人工智能和专家系统工业和工程应用第三届国际会议论文集-第2卷，（864-873） Sucar L和Gillies D结肠镜检查知识助理第三届人工智能和专家系统工业和工程应用国际会议论文集第2卷，（665-672） 黄K和克里希纳穆西R (1990). 内存驻留域关系演算数据库系统中的查询优化， ACM数据库系统事务 , 15 :1 , (67-95), 在线发布日期：1990年3月1日 . Silbermann F和Jayaraman B函数和逻辑编程中的集合抽象第四届函数编程语言和计算机体系结构国际会议论文集，（313-326） Croft W和Turtle H结合超文本链接的检索模型第二届ACM超文本年会论文集，（213-224） 范罗伊·P (1989). Prolog的定语从句语法符号的有用扩展， ACM SIGPLAN通知 , 24 :11 , (132-134), 在线发布日期：1989年11月1日 . 琼斯C (1989). 使用Prolog放置地图名称， IEEE计算机图形和应用 , 9 :5 , (36-47), 在线发布日期：1989年9月1日 . Minch R公司 (1989). 逻辑编程作为财务建模的范例， 管理信息系统季刊 , 13 :1 , (65-81), 在线发布日期：1989年3月1日 . Kanada Y、Kojima K和Sugaya M序言矢量化技术第二届超级计算国际会议论文集，（539-549） Nguyen T、Srini V和Despain A高性能多处理器系统的双层内存体系结构第二届超级计算国际会议论文集，（326-336） 德容·P (1988). Ubik配置器， ACM SIGOIS公告 , 9 :2-3 , (309-315), 在线发布日期：1988年4月1日 . de Jong P Ubik配置器ACM SIGOIS和IEEECS TC-OA 1988办公信息系统会议记录，（309-315） 特威利格R (1988). 请：一种结合命令和逻辑编程的语言， ACM SIGPLAN通知 , 23 :4 , (103-110), 在线发布日期：1988年4月1日 . Berghel H、Rankin R和Bhatia S (1988). 重新访问MS-DOS Prolog实现， ACM SIGPLAN通知 , 23 :1 , (127-134), 在线发布日期：1988年1月3日 . 卡尔顿·M和范罗伊·P (1988). 具有和并行性的分布式Prolog系统， IEEE软件 , 5 :1 , (43-51), 在线发布日期：1988年1月1日 . Yamaguchi S、Bandoh T、Kurosawa K和Morioka M高性能集成Prolog处理器IPP架构1987年秋季联合计算机会议论文集：今天和明天，（175-182） 堂兄弟S (1987). 自动生成菜单， ACM SIGART公告 :102 , (21-23), 在线发布日期：1987年10月1日 . Nejdl W用于回答递归查询的递归策略-第13届超大数据库国际会议的RQA/FQI策略会议记录，（43-50） 一类一阶逻辑关系的Dayantis G逻辑程序推导第十届国际人工智能联合会议论文集-第1卷，（9-14） Krall甲 (1987). 实现高速Prolog解释器， ACM SIGPLAN通知 , 22 :7 , (125-131), 在线发布日期：1987年7月1日 . Krall A高速Prolog口译员的实现口译员与口译技术研讨会论文，（125-131） Fagin B和Despain A并行Prolog体系结构的性能研究第14届计算机体系结构年度国际研讨会论文集，（108-116） Schikuta E公司 (1987). 基于规则的语言教育的示范方法， ACM SIGCSE公告 , 19 :2 , (43-45), 在线发布日期：1987年6月1日 . Takashima Y、Shimazu H和Tomono M故事驱动的动画SIGCHI/GI计算机系统和图形界面人为因素会议论文集，（149-153） 沃森J (1987). 语法规则符号翻译器， ACM SIGPLAN通知 , 22 :4 , (16-27), 在线发布日期：1987年4月1日 . 高岛Y、岛津H和通野M (1986). 故事驱动动画， ACM SIGCHI公告 , 18 :4 , (149-153), 在线发布日期：1987年4月1日 . Futatsugi K、Goguen J、Meseguer J和Okada K《OBJ2第九届国际软件工程会议论文集》中的参数化编程，（51-60） 汉克利·W (1987). Turbo Prolog的特性分析， ACM SIGPLAN通知 , 22 :3 , (111-118), 在线发布日期：1987年3月1日 . Berghel H、Stubbendieck G和Traudt E微机Prolog实现的性能特征1986年ACM SIGSMALL/PC小型系统研讨会论文集，（64-71） Brown J、Cook J、Groner L和Eusebi E Logic编程在APL2中的应用APL国际会议论文集，（282-288） 时钟素W (1986). 关于“Prolog编程中的陷阱”的一些评论， ACM SIGPLAN通知 , 21 :12 , (111-113), 在线发布日期：1986年12月1日 . 武田K、藤崎T和铃木E CRITAC第11届计算语言学会议论文集，（412-417） Jayaraman B和Silbermann F函数和逻辑编程的方程、集合和约简语义1986年ACM LISP和函数编程会议论文集，（320-331） 拉姆齐B (1986). 狮子和独角兽遇到了PROLOG， ACM SIGPLAN通知 , 21 :8 , (62-70), 在线发布日期：1986年8月1日 . 高岛Y、岛津H和通野M (1986). 故事驱动动画， ACM SIGCHI公告 , 17 ：国际单位制 , (149-153), 在线发布日期：1986年5月1日 . Brown J、Cook J、Groner L和Eusebi E (1986). APL2中的逻辑编程， ACM SIGAPL APL报价四 , 16 :4 , (282-288), 在线发布日期：1986年5月1日 . Wah B和Li G (1986). 人工智能专用计算机体系结构综述， ACM SIGART公告 :96 , (28-46), 在线发布日期：1986年4月1日 . Terwilliger R和Campbell R PLEASE:基于可预测逻辑的可执行规范1986年ACM第十四届计算机科学年会论文集，（349-358） Ramakrishnan R和Silberschatz逻辑中分布式编程的注释第13届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集，（255-262） Berghel H和Traudt E (1986). 序言中的拼写验证， ACM SIGPLAN通知 , 21 :1 , (19-27), 在线发布日期：1986年1月1日 . Yasdi R基于数据库的专家系统概念知识模型的形式化表示第二十一届计算机人员研究年会论文集，（11-23） Hornsby C和Leung C (1985). Prolog数据库系统灵活检索语言的设计与实现， ACM SIGPLAN通知 , 20 :9 , (43-51), 在线发布日期：1985年9月1日 . Tavendale R直接来自规范的原型技术第八届软件工程国际会议论文集，（224-229） Francez N、Goldenberg S、Pinter R、Tiomkin M和Tsur S (1985). 逻辑编程环境， ACM SIGPLAN通知 , 20 :7 , (179-190), 在线发布日期：1985年7月1日 . Francez N、Goldenberg S、Pinter R、Tiomkin M和Tsur S逻辑编程环境ACM SIGPLAN 85编程环境语言问题研讨会论文集（179-190） Hsu L A直接执行PROLOG系统1985年ACM SIGSMALL小型系统研讨会论文集，（225-234） 班布里奇R蒙塔哥夫定冠词语法计算语言学协会欧洲分会第二届会议记录，（25-34） Mishra P和Reddy U无声明类型检查第十二届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集，（7-21） 格兰特J (1984). 应用逻辑课程， ACM SIGCSE公告 , 16 :3 , (26-28), 在线发布日期：1984年9月1日 . 权力D (1984). 更有逻辑地发挥Mastermind或更有效地编写Prolog， ACM SIGART公告 :89 , (28-32), 在线发布日期：1984年7月1日 . Wojcik A、Kljaich J和Srinivas N基于自动推理系统的正式设计验证系统第21届设计自动化会议论文集，（641-647） Hall P关系代数、逻辑和函数编程1984年ACM SIGMOD数据管理国际会议论文集（326-333） Searle J APL编程的未来？ APL国际会议记录（291-296） P厅 (1984). 关系代数、逻辑和函数编程， ACM SIGMOD记录 , 14 :2 , (326-333), 在线发布日期：1984年6月1日 . 塞尔·J (1984). APL编程的未来？， ACM SIGAPL APL报价四 , 14 :4 , (291-296), 在线发布日期：1984年6月1日 . Gerhart S公理化方法在规范分析器中的应用第七届软件工程国际会议论文集，（441-451） Leavens G公司 (1984). 各种语言的预打印样式， ACM SIGPLAN通知 , 19 :2 , (75-79), 在线发布日期：1984年2月1日 . Subrahmanyam P和You J模式驱动的懒惰减少第十一届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集，（228-234） Adelsberger H Prolog作为模拟语言第16届冬季模拟会议论文集，（500-504） 艾利森L (1983). 可执行序言语义， ALGOL公告 :50 , (10-18), 在线发布日期：1983年12月1日 . 第八届国际人工智能联合会议序言中的Feuer A建筑图书馆——第1卷，（550-552） Pollitt A癌症治疗文献的最终用户触摸搜索第六届ACM SIGIR信息检索研究与开发年度国际会议论文集，（136-145） 波利特A (1983). 终端用户触摸式搜索癌症治疗文献， ACM SIGIR论坛 , 17 :4 , (136-145), 在线发布日期：1983年6月1日 . Cowie J描述性文本的自动分析第一届应用自然语言处理会议论文集，（117-123） 罗森塔尔D (1983). 管理图形资源， ACM SIGGRAPH计算机图形 , 17 :1 , (38-45), 在线发布日期：1983年1月1日 . Fogelholm R和Frick I (1982). VAX的标准LISP， ACM SIGSAM公告 , 16 :4 , (10-12), 在线发布日期：1982年11月1日 . Futatsugi K和Okada K功能软件系统的层次结构方法第六届国际软件工程会议论文集，（393-402） Warren D从逻辑编程角度探讨自然语言访问数据库的问题计算语言学协会第20届年会论文集，（63-66）
建议
在Prolog中合并多个编程范例 IJCAI'87：第十届国际人工智能联合会议记录-第1卷 本文讨论在逻辑编程语言Prolog中合并多个编程范例的问题。 结果表明，可以在不影响逻辑编程语言特性和效率的情况下合并多个范式。 它。。。