prolog - Prolog 求解中的算术表达式

Question

给定一个表达式:(x*0+6)*(x-x+3+y*y) 和 y:2 的值谓词应该只给出一个

解(x*0+6)*(x-x+3+4)。

当给出 6*(3+x*x) 和 x:2 时，它应该给出输出 42 。我已经编码了几个小时，但我只能设法得到它的第二部分。我的代码发布在下面。有人可以帮助我解决问题吗？

partial_eval(Expr0, Var,Val, Expr) :-
   evaluate(Expr0,[Var:Val],Expr).

evaluate(Exp, LstVars, Val) :-
   analyse(LstVars, Exp, NewExp),
   Val is NewExp.

analyse(LstVars, Term,R) :-
   functor(Term, Term, 0), !,
   (   member(Term : V, LstVars)
   ->  R = V
   ;   R = Term ).
analyse(LstVars, Term, V) :-
   functor(Term, Name, _),
   Term =.. [Name | Lst],
   maplist(analyse(LstVars), Lst, LstV),
   V =.. [Name|LstV].

Answer 1

这个问题可以分为两个:一是用值代替变量。另一种是递归计算算术子表达式。 Prolog 是不确定性的，但这两个操作都是确定性的，因此在实现它们时要记住这一点。

对于替换部分，您似乎有一个很好的通用递归结构(使用 =..)。对于算术评估部分，您可能会发现在递归中使用 + 和 * 项更容易。希望可以帮助您入门，询问您是否遇到困难并需要更多建议。