理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- mechanical axis
- mechanical backup main flight control actuator
- mechanical behavior in cellular degeneration
- mechanical behavior in cellular degneration
- mechanical bionics
- mechanical bonding
- mechanical breakdown
- mechanical calibration kit
- mechanical-centrifugal speed governor
- mechanical character
- mechanical characteristics
- mechanical characteristics of rock mass
- mechanical-chemical hybrid sand control
- mechanical clamp
- mechanical clock
- mechanical comminution process to produce powder
- mechanical compliance
- mechanical composition of soil
- mechanical connecting technology
- mechanical connection
- mechanical construction
- mechanical construction techniques
- mechanical control circuit
- mechanical control measure
- mechanical control system