理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- siderophyre
- sideroscope
- siderosphere
- siderostat
- sides about the right angle
- side scan sonar
- side-scan sonar
- side scan sonar sediment survey
- side scan sonar sweeping
- side-slip angle of aircraft
- side slope
- side slope of railway sub
- sidespin
- side stage
- sidestroke
- side trace
- sidetrack drilling
- sidetracking horizontal well construction technology
- sidetracking tool
- side transmission photography
- side trawler
- side type station
- side view
- side view shot
- sidewalk