理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- Alger metal
- algesimeter
- A. L. G. G. Cremona
- A. L. G. G. Cremona (1830—1903)
- Al-Gharbiyyah
- Al Gieba
- Algieba
- Al Giedi
- Algiedi Secunda
- Algiers Agreement
- algin
- alginate fiber
- alginic acid
- Algjebba
- Algoewer
- Algol
- Algol binary
- algology
- Algol paradox
- Algols
- Algol star
- Algol system
- Algol-type binary
- algol-type eclipsing binary
- Algol-type eclipsing variable