理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Song Dynasty Rubbing Album of Songgui Hall
- Song Dynasty Rubbing Album of Theventeen copybook
- Song Dynasty Rubbing Album of Wei Yuanpi Stele
- Song Dynasty Rubbing Album of Xuanmi Pagoda Stele
- Song Dynasty Rubbing Album of Yan Zhenqing's Letter to Guo Yingyi
- Song Dynasty Rubbing Album of Yingguang Hall
- Song Dynasty Rubbing Album of Yugonggong Stele
- Song Dynasty Rubbing Albun of Yan's Temple Stele
- Song Dynasty sculptures in the Jin Memorial Hall
- Song dynasty temple murals
- Song Dyynasty jade boy
- Song Fanghu
- Song for Happiness
- Song Futing
- Song Gao
- Song Gi-suk
- Songgotu
- Song Guang
- Song Guofeng
- Songhai
- Songhai Empire
- Songhay
- Songhua Dam
- Song Huaguo
- Songhuahu National Scenic Area