这是我遇到问题的测试复习问题。你如何编写一个方法来用运算符plus
来评估代数表达式,
minus
和times
。以下是一些测试查询:
simplify(Expression, Result, List)
?- simplify(plus(times(x,y),times(3 ,minus(x,y))),V,[x:4,y:2]).
V = 14
?- simplify(times(2,plus(a,b)),Val,[a:1,b:5]).
Val = 12
?- simplify(times(2,plus(a,b)),Val,[a:1,b:(-5)]).
Val = -8 .
我得到的只是这些样本查询而没有其他解释。但我很确定该方法应该剖析第一个参数,即代数表达式,在第三个参数(List)中用x和y代替它们的值。第二个参数应该是评估表达式后的结果。
我认为其中一种方法应该是simplify(V, Val, L) :- member(V:Val, L).
理想情况下,应该只有4种方法......但我不确定如何解决这个问题。
答案 0 :(得分:2)
从小处开始,记下你所知道的内容。
simplify(plus(times(x,y),times(3 ,minus(x,y))),V,[x:4,y:2]):- V = 14.
是一个非常好的开始:(+ (* 4 2) (* 3 (- 4 2))) = 8 + 3*2 = 14
。但是,当然,
simplify(times(x,y),V,[x:4,y:2]):- V is 4*2.
甚至更好。另外,
simplify(minus(x,y),V,[x:4,y:2]):- V is 4-2.
simplify(plus(x,y),V,[x:4,y:2]):- V is 4+2.
simplify(x,V,[x:4,y:2]):- V is 4.
所有完美的Prolog代码。但当然我们真正的意思是,显而易见,是
simplify(A,V,L):- atom(A), getVal(A,L,V).
simplify(C,V,L):- compound(C), C =.. [F|T],
maplist( simp(L), T, VS), % get the values of subterms
calculate( F, VS, V). % calculate the final result
simp(L,A,V):- simplify(A,V,L). % just a different args order
等。在给定符号操作名称和计算值列表的情况下,getVal/3
将需要以某种方式从L
列表和calculate/3
检索值以实际执行计算。
(未完成,未经测试)。
好的,maplist
与=..
一样过于苛刻:您的所有条款可能都是op(A,B)
。因此,定义可以简化到
simplify(plus(A,B),V,L):-
simplify(A,V1,L),
simplify(B,V2,L),
V is V1 + V2. % we add, for plus
simplify(minus(A,B),V,L):-
% fill in the blanks
.....
V is V1 - V2. % we subtract, for minus
simplify(times(A,B),V,L):-
% fill in the blanks
.....
V is .... . % for times we ...
simplify(A,V,L):-
number(A),
V = .... . % if A is a number, then the answer is ...
最后一种可能性是,x
或y
等满足atom/1
。
simplify(A,V,L):-
atom(A),
retrieve(A,V,L).
因此,上述条款的最后一次调用看起来像retrieve(x,V,[x:4, y:3])
,或者看起来像retrieve(y,V,[x:4, y:3])
。这应该是一个直截了当的实施。