理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- agarwood
- AGASA
- agate
- Agate Cup with Golden Animal's Head of the Tang Dynasty
- agate cup with two ring lugs
- Agatha Christie
- Agatha Christie's Marple
- agave
- agave americana
- AGB
- AGB star
- AGB variable
- AGB变星
- AGB星
- AGC
- AG catalogue
- AGCL
- AGCT
- AG cyclotron
- AGDS
- AGE
- age
- age appraisal technique of records
- age characteristics
- age classes