理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- sulphidizing roasting of mineral raw material
- sulphoaluminate cement
- sulphoaluminate cement and ferri-aluminate cement
- sulphonation
- sulphur
- sulphur-containing organic compounds
- sulphur cosmos
- sulphur cycling
- sulphur dioxide
- sulphur fertilizer
- sulphur furnace
- sulphuric acid
- sulphuric acid industry
- sulphuric acid industry waste heat recovery
- sulphurizing
- sulphur-labelled compound
- sulphur nutrition in plant
- sulphur print test
- sulphur print test method
- sulphur treatment
- sulphur trioxide
- Sulpicians
- SULT
- Sult
- Sultan