从一般情况 S 推断答案

【问题标题】：Inference from generic situation S从一般情况 S 推断
【发布时间】：2012-10-31 12:10:21
【问题描述】：

我希望有人可以帮助我。是否可以从S 与 Prolog 中的s0 不同的情况推断？

我有一个像这样的s0（初始情况）：

isoven(oven).
isoff(oven,s0).
ison(X,do(a,S)):- a=switchOn(X),isoven(X); isOff(X,S),\+ a=swicthOff(X). (fluent inon)

如果我提示：

?- isOn(oven,s0).
false.

?- ison(oven,do(swicth(oven)s0)).
true

如果存在类似“save(do(swicth(oven)s0)) to S'”这样的命令来获得这样的结果会很好：

?- ison(oven,S').
true.

【问题讨论】：

标签： prolog

【解决方案1】：

Prolog 不是魔术，你需要正确地实现。看来您想使用情况演算，网上有很多关于它的材料。

还有：

a=switchOn(X)

这是没有意义的，它总是失败。你需要一个变量（第一个字母必须是大写）

【讨论】：