【作者】 卢炎生; 刘震; 阳富民;
【机构】 华中理工大学; 华中理工大学;
【摘要】 SMLOG是一个支持多种处理不确定性方法的逻辑程序设计语言。本文较详细地介绍了该语言解释系统实现的数据结构、体系构造、演绎求解策略及用户界面设计。更多还原