标签： prolog
我知道我是否有事实
temperature(2 + 2).
然后问
-? temperature(X)
答案是X = 2 + 2
如何保留2 + 2操作，以便将其评估为温度（4）而不是温度（2 + 2）