理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- nine-six supplementation and draining method
- Nine Songs
- Nine Songs by Zhang Wo
- nine steps of interrogation
- nine techniques of needling
- Nineteen Ancient Poems
- Nineteen Ci-Poems of Song Dynasty
- Nineteen Eighty-Four
- nineteen incompatibilities
- Nineteenth National Congress of Communist Party of China
- Nine Temples
- nine test
- nine travel notes about Yongzhou
- Ninette de Valois
- Ninety-five Theses
- Nineveh
- Ningaloo Coast
- Ning'an Shi
- Ning Bin
- Ning black tea
- Ningbo
- Ningbobang Museum
- Ningbo Daily Group
- Ningbo-dialect Nanci storytelling in the Siming Mountain area
- Ningbo Institute of Material Industrial Technology and Engineering，Chinese Academy of Sciences