【发布时间】：2020-11-03 10:22:42
【问题描述】：
我想用 SWI-Prolog 创建一个带有元解释器的专家系统......什么是最好和更简单的方法？制作它的程序是什么？
【问题讨论】：
标签： prolog
【发布时间】：2020-11-03 10:22:42
【问题描述】：
许多专家系统的元解释器都基于 所谓的香草解释器。这是一个口译员 Prolog 没有剪辑和没有内置插件。内容如下：
solve(true) :- !.
solve((A,B)) :- !, solve(A), solve(B).
solve(H) :- clause(H,B), solve(B).
您可以轻松使用它来解决以下知识库 和查询。在一些Prolog系统中，ISO越兼容的系统，你需要将谓词标记为动态的，以便clause/2可以找到它们：
pet(dog):- size(medium), noise(woof).
pet(cat):- size(medium), noise(meow).
pet(mouse):- size(small), noise(squeak).
size(medium).
noise(meow).
?- solve(pet(X)).
X=cat
从原版解释器开始，您可以添加各种 专家系统之类的功能：
- 知识获取
- 解释
- 确定性因素
- 正向链接
- 帧表示
- 等等……
再见
P.S.：下面的书展示了如何： http://www.amzi.com/ExpertSystemsInProlog/
【讨论】：