理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- shaft spillway
- shaft state measurement
- shaft station
- shaft sump
- shaft vibration monitoring system
- shaft work
- shaft works
- Shafīq Jabrī
- shaggy mane
- Shaguoliang
- Shah
- Sha Ha
- Shaharom Hussin
- Shah Dagh
- Shah Dynasty
- Sha He
- Shahekou Qu
- Shahe Shi
- Shahezi Formation
- shah function Ⅲ
- Shahidul Alam
- Shah-i Zinda Mausoleum
- Shahnon Ahmad
- Shahrukh Khan
- shahsevan