我開始學習Prolog，首先學習了后繼符號。這就是我在Prolog中編寫Peano公理的地方。參見PDF的第12頁：sum(0, M, M).sum(s(N), M, s(K)) :-    sum(N,M,K).prod(0,M,0).prod(s(N), M, P) :-    prod(N,M,K),    sum(K,M,P).我將乘法規則放入Prolog。然后我執行查詢：?- prod(X,Y,s(s(s(s(s(s(0))))))).這意味著基本上找到6的因數。這是結果。X = s(0),Y = s(s(s(s(s(s(0)))))) ? ;X = s(s(0)),Y = s(s(s(0))) ? ;X = s(s(s(0))),Y = s(s(0)) ? ;infinite loop此結果有兩個問題：并未顯示所有結果，請注意缺少結果X = 6，Y = 1。除非我按Ctrl + C然后選擇中止，否則它不會停止。所以...我的問題是：這是為什么？我嘗試切換“ prod”和“ sum”。結果代碼為我提供了所有結果。再說一遍，為什么呢？它仍然死循環。如何解決？我讀了無限循環上的另一個答案。但是我希望有人根據這種情況做出回答。這對我有很大幫助。