Prolog使規則執行一次

Question

有沒有辦法讓prolog規則只執行一次？ 例如，我有這樣的算法，副本第一和每一個第n個元素從列表1到列表2：

ith_element(N, List1, List2) :- 
    X is N - 1, 
    length(A,X), 
    append(A, [Head | Tail], List1), 
     everyNth(N, Tail, Rest -> 
     List2 = [Head | Rest] 
    ; List2 = [Head | []] 
    ). 

我能以某種方式使該會的第一要素，從列表1只複製一次的規則？我只是在學習Prolog，在任何地方都找不到類似的東西。

Answer 1

我認爲你應該保持第一元素「打補丁」圈外：

firstAndEveryNth(N, [F|List1], [F|List2]) :- 
    everyNth(N, [F|List1], List2). 

編輯你可以編碼在參數進一步信息，當然，這是種「奇怪的黑客」

的

everyNth(N, [F|List1], [F|List2]) :- 
    integer(N), % or N \= every(_), 
    everyNth(every(N), [F|List1], List2). 

everyNth(every(N), List1, List2) :- 
    X is N - 1, 
    length(A, X), 
    ( append(A, [Head | Tail], List1), 
     everyNth(every(N), Tail, Rest) 
    -> List2 = [Head | Rest] 
    ; List2 = [] 
    ). 

編輯交換的規則，應該工作爲好，而不需要檢查的「型」 N個

everyNth(every(N), List1, List2) :- 
    !, % needed to avoid an error on backtracking 
    X is N - 1, 
    length(A, X), 
    ( append(A, [Head | Tail], List1), 
     everyNth(every(N), Tail, Rest) 
    -> List2 = [Head | Rest] 
    ; List2 = [] 
    ). 

everyNth(N, [F|List1], [F|List2]) :- 
    everyNth(every(N), [F|List1], List2).