Ocena listy wyrażeń Postfix
Napisałem program do oceny ekspresji post-fix w prologu rekurencyjnie z listy ekspresji. Na przykład, podając następującą listę:
[+,1,2]
Powinien zwracać 3. Sposób, w jaki skonstruowałem mój predykat, polega na wywołaniu się rekurencyjnie, aż osiągnie koniec listy, tak aby odczytał wartości wstecz. (tak samo jak czytanie tej listy od lewej do prawej: [2,1, +]).
Moim problemem jest to, że kiedy próbuję zwracać więcej niż jedną wartość poprzez wywołania rekurencyjne, wszystkie wartości nagle znikają.
Oto kod:
eval_list([Head|Tail],_,Result):-
Tail==[], % last element of list
Result=Head,
write(Head),
write(' was stored in Result!\n').
eval_list([Head|Tail],Store1,Result):-
eval_list(Tail,Store2, NewResult),
(\+integer(Store2))
->
% if no integer is bound to Store2, bind Store1 to Head
Store1=Head,
Result is NewResult,
write(Head),
write(' is stored value!\n')
; (integer(Store2)) ->
% if an integer is bound to store2, we perform operation specified by the Head with the stored number
X is Store2+NewResult,
Result is X,
write('performed operation!\n')
;
% if doesnt catch either of these states the program is broken
( print('something broke\n'),
print(Store1),
nl,
print(Store2),
nl,
print(Head),
nl,
print(Result),
nl
).
Otrzymuję następujące dane wyjściowe:
?- eval_list([+,1,2],X,Result).
2 was stored in Result!
1 is stored value!
something broke
_G1162
_L147
+
_G1163
true.
Nie rozumiem, dlaczego moje wartości znikają lub czy istnieje lepszy sposób na ocenę listy.