Indexed by：
Abstract：
给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。
Keyword：
Reprint Author's Address：
Email：
Source ：
北京工业大学学报
Year： 1994
Issue： 02
Page： 57-61
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： 4
Affiliated Colleges：
