理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- hyperharmonic sheaf
- hyperhermitian quaternionic matrix
- hyperhidrosis
- hyperhomocysteinemia
- hyperhomology
- hyperhomology functor
- hyperhomology module
- hyperhyperboloid
- hyperhypersimple set
- hypericin
- hypericosahedron
- hyperidentity
- hyper-IgE syndrome
- hyperimmune
- hyperimmune free degree
- hyperimmune-free degree
- hyperimmune set
- hyperinaccessible cardinal number
- hypering
- hyperintegral
- hyperinvariant
- hyperinvariant subspace
- Hyperion
- hyperjump
- hyperkahler manifold