理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- one-leg scheme
- one-machine scheduling problem
- one-many
- one-manyness
- one map for water conservancy
- one map, multiple planning
- One Map Project in Land Information System Construction
- one mark pipet
- O-Ne-Mg white dwarf
- One-Mile Telescope
- One Million Star
- One Mistake Made Up
- one moment (kṣaṇa)
- one-mouth theorem
- One Nation Party of Australia
- Oneness
- oneness in painting
- oneness of Allah
- one-new-concept-constraint
- one night stand
- one-ninth constant
- one-nucleon transfer reaction
- one of us
- one-one
- one-one complete