Prolog - 翻译运算符

Question

我定义了以下运算符：

:- op(200, xfx, plus).
:- op(100, xfx, times).

我想实现一个谓词 translate/2，以便给定的术语仅由数字和运算符 plus 和 times 组成，这样这些运算符将被翻译成它们相应的算术运算符：+ 和 *。

例如：

?- translate((4 plus 5), Result).
   Result = 4 + 5.

?- translate(((3 times 2) times 7 plus 4), Result).
   Result = (3 * 2) * 7 + 4.

?-translate((5 times 3 plus 4 times 5)), Result).
  Result = 5 * 3 + 4 * 5.

更新：好的，所以到目前为止我提出的代码是：

replace([], _, _, []).

replace([El1|List], El1, El2, [El2|Result]) :-
replace(List, El1, El2, Result), !.

replace([H|List], El1, El2, [H|Result]) :-
replace(List, El1, El2, Result). %replaces an element in a list with 
                                  %another element.


translate(Term, ListResult2):-
  Term =.. ListResult,
  replace(ListResult, times, *, ListResult1),
  replace(ListResult1, plus, +, ListResult2). %This will make a list of a 
                                              % a term and replace the
                                              %operators the right way.                                   

很抱歉没有为我的条款如何工作添加更具体的 cmets。这里的想法是生成一个列表，其中 te 运算符被相应的术语替换。我的问题是输出是一个列表而不是一个术语。有没有办法扭转我对 =.. 运算符所做的事情？？？

Answer 1

我想我找到了解决方案，这是我错过的语法。我忘记了 =.. 运营商可以在期限上为双方提供解决方案。所以 X =.. [1,2,3] 会将列表 [1,2,3] 转换为相应的项，反之亦然。解决方案如下所示：

replace([], _, _, []).

replace([El1|List], El1, El2, [El2|Result]) :-
replace(List, El1, El2, Result), !.

replace([H|List], El1, El2, [H|Result]) :-
replace(List, El1, El2, Result).


translate(Term, TrueResult):-
  Term =.. ListResult,
  replace(ListResult, times, *, ListResult1),
  replace(ListResult1, plus, +, ListResult2),
  TrueResult =.. ListResult2.

Answer 2

这样的东西可能适合您的需求：

:- op(200, yfx, plus).
:- op(100, yfx, times).

translate(Z, Z1):-
  (
    nonvar(Z),
    Z \= _ plus _,
    Z \= _ times _
  ) -> Z1=Z ;
  (
    member(Z-Z1, [(X plus Y)-(X1 + Y1), (X times Y)-(X1 * Y1)]),
    translate(X, X1),
    translate(Y, Y1)
  ).

测试用例：

?- translate((4 plus 5), Result).
Result = 4+5 
?- translate(((3 times 2) times 7 plus 4), Result).
Result = 3*2*7+4
?- translate((5 times 3 plus 4 times 5), Result).
Result = 5*3+4*5
?- translate((a plus b) times c, Result).
Result = (a+b)*c
?- translate(5 times (3 plus 4) times 5, Result).
Result = 5* (3+4)*5