Prolog if/else語句帶「或」條件

Question

我是Prolog的新手，我試圖編寫帶有「或」條件的if/else語句。因此，要證明，我想是這樣的：

gothrough([H|T], B, C):- 
    ( T == [] or H == 'then' %if either the tail is an empty list or if H == "then", do the following% 
    -> append(H,B,B), outputs(B,C) 
    ; append(H,B,B), gothrough(T, B, C) %else% 
    ). 

此實現但不工作;有沒有一種明顯的方式來做到這一點，我沒有得到？

謝謝！

Answer 1

在Prolog中，使用「;」爲或和「，」爲和。

gothrough([H|T], B, C):- 
    ( (T == [] ; H == 'then') %if either the tail is an empty list or if H == "then", do the following% 
    -> append(H,B,B), outputs(B,C) 
    ; append(H,B,B), gothrough(T, B, C) %else% 
    ). 

當H爲[]不同注意追加（H，B，B）總是失敗。

你可以寫

gothrough([H|T], B, C):- 
    append(H,B,B), 
    ( (T == [] ; H == 'then') %if either the tail is an empty list or if H == "then", do the following% 
    -> outputs(B,C) 
    ; gothrough(T, B, C) %else% 
    ).