尋找一個滿足特定條件的子列表和一個尾遞歸的Prolog程序

Question

我想要做什麼： 我想寫一個尾遞歸Prolog程序，它搜索最長的遞增序列的整數列表並保存開始和結束此子列表的索引。

例如

?- longest_asc_sublist([1,2,3,2,8,4,7,8,10,11,7,-1],From,To). 
From = 6, 
To = 10. 

什麼我這麼遠，什麼我的問題是： 基本上我試圖實現一個算法通過它的僞代碼，會做正是我需要的，但我的問題是，我不能似乎要弄清楚如何可以使這項工作if語句，沒有「其他」下他們，在他們的聲明中多次行動或做沒有如果是

longest_asc_sublist(List,_,_) :- longest_asc_sublist(List,1,1,1,0,1,1). 
longest_asc_sublist([],V,K,K,_,V,_). 
longest_asc_sublist([X,Xs|Xss],_,_,K,T,V,M) :- 

          K1 is K+1, T1 is T+1, 

          Xs < X, !,   % this would be an if condition 
          T1 is 1, V1 is K, % and this the statement 

          T1 > M, !,      % 2.if condition 
          M1 is T1, To1 is K, From1 is V, % statement 

          longest_asc_sublist(Xss,To1,From1,K1,T1,V1,M1). 

我最大的問題是，我不能讓他走在「Xs < X」之後，只要它的計算結果爲false，程序就會終止並返回false。

所以我的2個問題是：

我如何才能讓當「兩個X < X」是假的不終止這一計劃？

是否有實現這些，如果是這樣的？：

(Xs < X -> 
(T1 is 1, V1 is K)), 

沒有它導致終止，如果計算結果爲假的方法嗎？

Answer 1

最簡單的答案，沒有進入你的代碼，就是：

( condition 
-> if condition is true 
) 

等同於：

( condition 
-> if condition is true 
; false 
) 

（因爲你已經注意到自己）

什麼你可能需要是：

( condition 
-> if condition is true 
; true 
) 

的if-else then-else if-then...看起來是這樣的：

( if 
-> then 
; else if 
-> then 
    % and so on 
) 

，另外兩個if年代後對方，當然，

( if 
-> then 
; true 
), 
( if 
-> then 
; true 
) 

而現在有關is：如果你真的想簡單統一的變量與另一個，你不能簡單地使用相同的變量名，那麼你應該統一明確，然後直接做它，使用=：

T1 = 1