理学 知识表示 释 logic programming 逻辑程序设计 在谈到逻辑程序设计时不能不涉及人工智能和专家系统（或含义更广的智能知识系统）。逻辑程序设计将逻辑直接作为程序设计语言并将计算作为受控推理的一种程序设计技术。
logical programming 逻辑程序设计
软件工程 释文 logic programming 逻辑程序设计
- tinder
- tin disulfide
- tin doped indium oxide
- tin-doped indium oxide
- tinea
- tinea blanca
- tinea capitis
- tinea circinata
- tinea corporis
- tinea cruris
- tinea inguinalis
- tinea nuguium
- tinea pedis
- tinea versicolor
- tinfoil
- tinge
- tinggong
- Tinghsien: A Social Survey
- tinghui
- Tinghu Qu
- Ting Jiang
- Ting Liao
- tingli dazao xiefei decoction
- Tingqiushengguan Cihua
- Tingri Xian