Prolog-列表成字符串

Question

我在這里尋找解決方案，但是什么也沒有完成，所以我決定問一下。

因此，我有一個查詢，返回的列表是這樣的：

List = [6-"read",3-"magazines",3-"music",1-"sport"].

而且我需要執行轉換，這樣我才能得到如下列表：

List = [read,magazines,music,sport]. 
or 
List = ["read","magazines","music","sport"].

為此，我認為我應該先將其傳遞給字符串以取出數字和“-”。 但我為此苦苦掙扎。

希望可以有人幫幫我！ 謝謝

Answer 1

這看起來像作業，所以我將不給您完整的實現。 您正在尋找的是規則頭中的模式匹配：

fst_pair(X, pair(X,Y)).

-運算符只是一個中綴函數符號，因此您可以編寫

fst(X, X-Y).

使用這種模式匹配，應該很容易在列表上編寫一個遞歸謂詞。 對於空列表，它必須具有基本大小寫，對於列表的首尾必須具有步進大小寫：

fsts_list([], []).
fsts_list([ ... | TailFirsts ], [... | Pairs] ) :- % replace ... by some terms
   % possibly insert some predicates here, depending on what you do above
   fst_lists(TailFirsts, Pairs). 

解決愉快！