本文对Ｐｒｏｌｏｇ实现中的智能回溯技术给出了一个新的分类方法，并介绍了ＧＯＡＭ──一个Ｐｒｏｌｏｇ语言抽象机器中的内存管理策略和控制机构，ＧＯＡＭ中的ＩＢ技术在实现智能......