理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- quasi barreled space
- quasi-barreled space
- quasi-barrelledness
- quasi-base
- quasi-biennial oscillation
- quasi-biennial oscillation,缩写QBO
- quasi-bilinear function
- quasi-bilingual dictionary
- quasi-binomial
- quasi biosynthesis
- quasi-biosynthesis
- quasi biosystem
- quasi-biosystem
- quasi-birth-and-death process
- quasi-boson
- quasibounded function
- quasi-bound state
- quasi-bronze porcelain jar with two lugs
- quasi-center
- quasi-centered affine mapping
- quasi-centralizer
- quasi-character
- quasi-chemical approximation
- quasi chemical equilibrium of defects
- quasi-chemical equilibrium of defects