节点文献
SMLOG语言解释系统的实现技术
【摘要】 SMLOG是一个支持多种处理不确定性方法的逻辑程序设计语言。本文较详细地介绍了该语言解释系统实现的数据结构、体系构造、演绎求解策略及用户界面设计。
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,1992年09期
- 【下载频次】6
【摘要】 SMLOG是一个支持多种处理不确定性方法的逻辑程序设计语言。本文较详细地介绍了该语言解释系统实现的数据结构、体系构造、演绎求解策略及用户界面设计。