理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- crystal system
- crystal system, lattice system, crystal family
- crystal systems
- crystal tilt
- crystal violet
- [crystal] whisker
- crystal whisker
- crystal X-ray reflector
- [crystal] zone
- crystal zone
- crystal zone axis
- Crámer-Rao inequality
- C-R不等式
- Cr共轭性
- CR函数
- Cr函数
- Cr叶状结构
- Cr同构
- C^r图册
- Cr图册
- CR子流形
- C^r微分结构
- Cr微分结构
- Cr流
- CR流形