《计算机学报》文章摘要   全文下载
文章题目	合一和回溯智能加速部件的设计与实现
作者	吴中海 叶澄清 潘云鹤
作者单位	(浙江大学计算机科学与工程学系 杭州 310027)
发表年份	1997
发表月份	2期　（页码：111—-117）
文章摘要	本文设计了一个高效的合一和回溯智能加速部件, 在实现时我们运 用了自己提出的优化线性合一算法和超前检查智能回溯策略.经测试和分析表明,采用该加速部件的Prolog实现系统的效率要比软件实现提高十倍以上.