理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Doreen Massey
- Dori
- Dorian Haarhoff
- Dorians
- Doric chiton
- doriden
- Doris
- Doris Humphrey
- Doris Lessing
- Dorling Kindersley Limited
- dormancy
- dormancy stage
- dormant bud
- dormant data
- Dormant Shareholder
- dormant species
- dormant volcano
- dormitory
- dormitory ， collective dormitory，staff domitory
- Dornod Province
- Dornogovi Province
- Dorodnitsyn
- Doroi Beile
- Doroi commandery prince
- doroid