理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- circular probable error miss distance
- circular queue
- circular reciprocation
- circular recombination PCR，CRP
- circular repolarization
- circular restricted three-body problem
- circular ring
- circular RNA
- circular run-out measurement
- Circular Scale
- circular section
- circular sector
- circular segment
- circular shaft
- circular slide rule
- circular slit domain
- circular solution
- circular-sweep phase shifter
- circular symmetric game
- circular symmetrization
- circular symmetry
- circular telegram
- circular torus
- circular tractrix
- circular transformation