理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- soil food web
- soil forest landscape
- soil formation processes in China
- soil-forming weathering crust
- soil-free turf
- soil freeze-thaw erosion
- soil freezing - thawing erosion in China
- soil fungi
- soil genesis
- soil genetic classification
- soil geography
- soil geography of China
- soil grain size analysis
- soil gravitational water
- soil health
- soil heat balance
- soil heat flux density
- soil heat flux measurement
- soil heat status
- soil heavy metal acquisition
- soil heavy metal contaminant
- soil heavy metal monitoring
- soil heavy metal pollution
- soil heavy metal rapid in-situ monitor
- soil horizon