Prolog 程式 mystery 的功能
考慮以下 Prolog 程式：
prolog
複製程式碼
mystery([], []).
mystery([X|Y], [X, X|Z]) :- mystery(Y, Z).
這個 Prolog 程式定義了一個謂詞 mystery。該謂詞有兩個參數，第一個參數是輸入列表，第二個參數是處理後的輸出列表。讓我們分析這個程式的功能。
基本情況（Base Case）：
prolog
複製程式碼
mystery([], []).
這個子句表明，如果輸入列表是空列表 []，那麼輸出列表也是空列表 []。
遞歸情況（Recursive Case）：
prolog
複製程式碼
mystery([X|Y], [X, X|Z]) :- mystery(Y, Z).
這個子句表明，對於一個非空列表 [X|Y]，輸出列表將是 [X, X|Z]，其中 Z 是遞歸調用 mystery(Y, Z) 的結果。
具體來說：
輸入列表 [X|Y] 表示列表的第一個元素是 X，剩餘部分是 Y。
輸出列表 [X, X|Z] 表示列表的前兩個元素是 X，接下來是 Z。
mystery(Y, Z) 將對列表 Y 進行相同的操作，得到 Z。
功能總結
這個函數 mystery 的功能是將輸入列表中的每個元素複製一遍，並按順序放入輸出列表中。例如：
輸入：[1, 2, 3]
輸出：[1, 1, 2, 2, 3, 3]
具體例子
prolog
複製程式碼
?- mystery([1, 2, 3], Result).
Result = [1, 1, 2, 2, 3, 3].
?- mystery([a, b, c], Result).
Result = [a, a, b, b, c, c].
這樣可以看出，mystery 函數將每個輸入列表中的元素複製兩次，並生成新的輸出列表。
阿摩線上測驗
登入