理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Sun Zheng
- sun zhen ren shi san gui xue ge
- Sun Zhiyu
- Sun Zhiyuan
- Sun Zhongling
- Sun Zhongming
- Sun Zhongshan corrected the manuscript of " National Government Founding Outline "
- Sun Zhongyuan
- Sun Zhouqing
- Sun Zhuo
- Sun Zi
- Sun Zixi
- Sun Zi’s Mathematical Manual
- Sun Zongqi
- Sun Zuochen
- Sun Zuoyun
- Suo Jing
- Suoke
- Suolun Tribe
- Suomen Kirjasäätiö
- suona
- Suona gong and drum QupaiYao-jin Ling
- suona horns of Liu Guangxing’s opera troupe preserved in Lu County
- Suona music
- Suona Qupai Jiangjun Ling