一种用于逆向推理的Prolog元级解释器

本文介绍一种Prolog元级解释器,它解决了专家系统中采用转换规则模式表示知识时的逆向推理问题。

PROLOG元级解释器的一种实现

采用广度优先搜索策略给出了一个完整的ＰＲＯＬＯＧ元级解释器的实现，它能使用户了解和访问ＰＲＯＬＯＧ的执行过程。