序言刪除IF然後ELSE

Question

我想重新格式化我的代碼，而沒有if then else條件。是否有捷徑可尋？這只是代碼的一個例子。我認爲在序言中使用IF-THEN-ELSE很奇怪：\我正在尋找更多的遞歸案例。像模式匹配

rules(Param1, Param2) :- 
(
    A -> 
     B, C, D,  
     (
      E -> F 
     ; 
      G, H 
     )  
    ; 
     I 
). 

編輯：編輯我的代碼看起來像更多的應該是什麼

Answer 1

爲

pred(X):- 
    (A -> B 
    ; C -> D 
    ; G 
). 
pred(Y):- Q. 

一般的轉換方案是

pred(X):- pred1(X). 
pred(Y):- Q. 

pred1(X):- call(A), !, B. 
pred1(X):- call(C), !, D. 
pred1(X):- G. 

非常感謝j4n bur53指出需要call - in case there's a cut裏面的A或C！請參閱-> documentation。