理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。 理学 可计算模型 释 logic programming 逻辑程序 一种基于形式逻辑的程序范例。一个逻辑语言上的一个逻辑程序是此逻辑语言上的封闭公式集合。逻辑程序又分为溯因逻辑程序、元逻辑程序、约束逻辑程序、并发逻辑程序、归纳逻辑程序、高阶逻辑程序、线性逻辑程序和面向对象逻辑程序等。
软件工程 释文 logic programming 逻辑程序设计
