理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- zinc subgroup
- zinc sulfate
- zinc sulfate regulator
- zinc sulfide
- zinc sulfide (alpha)
- zinc sulfide (beta)
- zinc sulfide (α)
- zinc sulfide(α)
- zinc sulfide (α); wurtzite
- zinc sulfide (β)
- zinc sulfide(β)
- zinc sulfide (β); sphalerite
- zinc sulphide
- zinc telluride
- zinc thiazole
- zinc white
- zinc yellow
- zinc–carbon battery
- Zinder
- Zine al-Abidine Ben Ali
- zineb
- Zinedine Zidane
- zine-doped germanium
- zingiber
- Zinjanthropus