prolog - Prolog紧凑？

Question

我有一个问题，我需要像这样压缩一个衍生结果：

0*x*x + 2*(1*x + x*1) =====> example: 0+2*(2*x) =====> 0+2*4*x====>8*x

是否可以？谢谢你的帮助。

问候，沃尔特

Answer 1

是的，这是可能的，只是需要一些工作。您需要写出原子规则，例如

rule(0*_, 0).
rule(_*0, 0).
rule(1*X, X).
rule(X*1, X).

并实现一个固定点谓词（可能是一个失败驱动的循环），它应用规则直到收敛。