理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- rotation of position operator
- rotation of rigid body about a fixed axis
- rotation of rigid body about a fixed point
- rotation of spin
- rotation of the earth
- rotation of the earth and its variation
- rotation of the Galaxy
- rotation of the line of apsides
- rotation of wave function
- rotation operator
- rotation parabolic coordinate
- rotation parameters
- rotation pattern
- rotation period
- rotation period, period of rotation
- rotation phase
- rotation pole
- rotation power
- rotation rate
- rotation sampling
- rotations diagram
- rotation sequence
- rotation spectrum
- rotation subgroup
- rotation surface