| 合一和回溯智能加速部件的设计与实现 |
| |
| 引用本文： | 吴中海,叶噔清.合一和回溯智能加速部件的设计与实现[J].计算机学报,1997,20(2):111-117. |
| |
| 作者姓名： | 吴中海 叶噔清 |
| |
| 作者单位： | 浙江大学计算机科学与工程学系 |
| |
| 基金项目： | 国家863智能计算机专题,国家自然科学基金 |
| |
| 摘 要： | 本文设计了一个高效的合一和回溯智能加速部件，在实现时我们运用了自己提出的优化线性合一算法超前检查智能回溯策略。经测试和分析表明，采用该加速部件的Ｐｒｏｌｏｇ实现系统的效率要比软件实现提高十倍以上。
|
| 关 键 词： | 加速器 逻辑语言 智能计算机 设计 |
THE DESIGN AND IMPLEMENTATION OF AN INTELLIGENT ACCELERATOR FOR UNIFICATION AND BACKTRACKING |
| |
| WU Zhonghai, YE Chengqing, PAN Yunhe.THE DESIGN AND IMPLEMENTATION OF AN INTELLIGENT ACCELERATOR FOR UNIFICATION AND BACKTRACKING[J].Chinese Journal of Computers,1997,20(2):111-117. |
| |
| Authors: | WU Zhonghai YE Chengqing PAN Yunhe |
| |
| Abstract: | This paper designs an efficient intelligent accelerator for two basic operations in logic languages: unification and backtracking. This accelerator adopts the author's own optimal .unification algorithm and intelligent backtracking scheme. As a result, the Prolog system with this accelerator can speed up more than ten times compared with software implementation. |
| |
| Keywords: | Firmware unification intelligent backtracking accelerator logic language |
| 本文献已被 CNKI 维普 等数据库收录！ |
