理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- logical block address, LBA
- logical calculus
- logical channel
- logical circuit
- logical clock
- logical combination
- logical comparison
- logical condition
- logical connective
- logical consequence
- logical consistency
- logical constant
- logical control
- logical data
- logical decision
- logical deduction
- logical definition
- logical derivation
- logical design
- logical device
- logical device name
- logical diagram
- logical difference
- logical differential control law
- logical disk