Indexed by：
Abstract：
对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。
Keyword：
Reprint Author's Address：
Email：
Source ：
北京工业大学学报
Year： 1990
Issue： 04
Page： 87-90
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 13
Affiliated Colleges：
