理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- duDescartes
- Dudhwa National Park
- Du Dingyou
- Dudi Section of the Book of Master Guan
- Dudith
- Dudley Brian Spalding
- Dudley Robert Herschbach
- Dudley Shapere
- Du Du
- Dudu Fu
- Du Duzhi
- Du E
- duel
- due-media model
- Du'erbete Mengguzu Zizhixian
- Duero River Valley
- Dufek complex
- Du Feng
- Dufferin Mission
- Duffing
- Duffing differential equation
- Duffing equation
- Duffing oscillator
- Duffing's equation
- Dufort-Frankel scheme