理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- algebraic groups over a local field
- algebraic groups over an algebraic number field
- algebraic group variety
- algebraic Hecke character
- algebraic homology class
- algebraic homomorphism
- algebraic homotopy
- algebraic homotopy group
- algebraic hull
- algebraic hypersurface
- algebraic identity
- algebraic image restoration
- algebraic independence
- algebraic inequality
- algebraic integer
- algebraic integral
- algebraic interpolation
- algebraic invariant
- algebraic irrationality
- algebraicity
- algebraic knot
- algebraic K theory
- algebraic K-theory
- algebraic language
- algebraic lattice