理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- pure inseparable morphism
- pure integer programming
- pure iron
- pure iron for raw material
- Pure Land Belief
- Pure Land Buddhism
- pure local time
- pure luminosity evolution
- purely arithmetical quantity
- purely atomic measure
- purely binary number
- purely contractive operator-valued function
- purely discrete spectrum
- purely imaginary
- purely imaginary expression
- purely imaginary number
- purely imaginary quaternion
- purely imaginary time
- purely indecomposable group
- purely infinite von Neumann algebra
- purely inseparable element
- purely inseparable extension
- purely inseparable isogeny
- purely inseparable mapping
- purely inseparable morphism