| 逻辑程序系统处理表达式的等式扩展方法 |
| |
| 引用本文： | 林琪 贺松云. 逻辑程序系统处理表达式的等式扩展方法[J]. 装备指挥技术学院学报, 1997, 8(1): 85-89 |
| |
| 作者姓名： | 林琪 贺松云 |
| |
| 作者单位： | [1]指挥技术学院研究生队 [2]指挥技术学院电子技术系 |
| |
| 摘 要： | 讨论了在逻辑程序系统中处理表达式的等式扩展方法，描述了表达式建立类型并在重写机制的基础上改进传统的合一操作，实现了高效的等式逻辑。该方法已在ＳＣ－ＰＲＯＬＯＧ解释系统得到实现。
|
| 关 键 词： | 等式扩展方法 表达式 逻辑程序系统 |
The Equation Extention Method for Processing Expression in Logic Program System |
| |
| Lin Qi He Songyun. The Equation Extention Method for Processing Expression in Logic Program System[J]. Journal of the Academy of Equipment Command & Technology, 1997, 8(1): 85-89 |
| |
| Authors: | Lin Qi He Songyun |
| |
| Affiliation: | Lin Qi He Songyun (Postgraduate) (Department of Electronic Engineering) |
| |
| Abstract: | |
| |
| Keywords: | rewriting mechanism equation logic equation extention method expres sion |
| 本文献已被 CNKI 维普 等数据库收录！ |
