理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- geomorphology of active fold
- geomorphology of China
- geon
- geoningen molecular simulation (GROMOS) force field
- geonomy
- geo-ontology
- geo-ontology building
- geo-ontology Reasoning
- geopark
- Geopause
- geopetal structure
- geophage
- geophone
- geophones pattern
- geophotogrammetry
- Geophysical Alert Broadcast
- Geophysical and Astrophysical Fluid Dynamics
- Geophysical and geochemical exploration
- geophysical effect
- geophysical effects of nuclear explosion
- geophysical exploration
- geophysical exploration for marine gas hydrates
- geophysical field
- geophysical field navigation
- geophysical fluid mechanics