“逻辑程序”的概念、定义、翻译、参考文献-科学参考

单词	逻辑程序
释义	逻辑程序 Encyclopedia 理学可计算模型释 logic programming逻辑程序一种基于形式逻辑的程序范例。一个逻辑语言上的一个逻辑程序是此逻辑语言上的封闭公式集合。逻辑程序又分为溯因逻辑程序、元逻辑程序、约束逻辑程序、并发逻辑程序、归纳逻辑程序、高阶逻辑程序、线性逻辑程序和面向对象逻辑程序等。
随便看	巴尔吉，D.G. 巴尔喀什湖巴尔塔萨尔巴尔塔，J. 巴尔多米尔，A. 巴尔多里奥蒂·德卡斯特罗，R. 巴尔多鲁，S. 巴尔夫，M. 巴尔察，A. 巴尔巴辛-克拉索夫斯基定理巴尔巴，E. 巴尔布，I. 巴尔-希列尔，Y. 巴尔干同盟巴尔干战争巴尔德斯·莱亚尔，J.de N. 巴尔德斯，G.de la C. 巴尔德特-约翰逊谱带巴尔德萨尔·卡斯特列奥尼巴尔扎克，H.de 巴尔托利尼圆形画巴尔托利，C. 巴尔托洛梅奥·科莱奥尼骑马像巴尔托洛梅奥，M.di 巴尔拉迪娜

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。