理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- score residual
- Score residuals
- scorer reliability
- Scoresby crater
- score sequence
- Scores of Hanju Opera (with Orchestral Instruments)
- Scores of Henan Quju Opera
- Scores of Hou Yushan’s Kunqu Opera Plays
- scores of opera libretti
- scores of opera plays
- Scores of Tea-Picking Opera in Southern Jiangxi
- Scores of Yu Zhenfei
- score test
- Score检验
- Score残差
- scoria
- scoring
- scoring function
- scoring matrix
- scoring method
- scorpioid cyme
- scorpion
- scorpionate complex
- scorpion toxin
- scorpion toxin; buthotoxin