理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- nanopore technology
- nano-porous materials
- nanoporous silicon
- nano printing
- nano-printing technology
- nano probe
- nanoprobe
- nanoprobe for nuclear imaging
- nanoprobes
- nano propeller
- nanopropeller
- nano proppant
- nano protect
- nano rainbow
- nanorainbow
- Nano-RAM
- nanoreactor
- nano resonator
- nano reverse osmosis
- nanoribbon
- nano robot
- nanorobot
- nanorod
- nano rubber
- nano satellite