回答編集履歴
1
右を左に変更
test
CHANGED
@@ -1,6 +1,6 @@
|
|
1
1
|
**中置記法を前置記法に置き換える**
|
2
2
|
|
3
|
-
prologの中置記法を前置記法に置き換えると次と同じです。なぜそうなるのか。`+`は
|
3
|
+
prologの中置記法を前置記法に置き換えると次と同じです。なぜそうなるのか。`+`は左結合だから。scryer-prologで実行しましたがswi-prologでも同じ結果になります。
|
4
4
|
|
5
5
|
```prolog
|
6
6
|
?- =(+(X,Y),+(+(1,+(2,3)),4)).
|