Prolog序列符號

Question

我有這樣的問題，如何爲任意輸入的符號序列確定它是否包含與該單詞中相同序列中的單詞的所有符號。例如：一系列「開發」包含符號詞「不」。我不知道如何在Prolog中執行此操作。

Answer 1

只需「訪問」這兩個列表，直到第二個列表結束，那麼任務已成功。

遞歸的訪問將同時檢查頭： 如果比賽 - >同時廢棄別人丟棄的左側列表」一

在Prolog的比賽可以用平等的方式來完成，即：

recursive([H|T1], [H|T2]) :- !, ... 

自刪除刪除的替代品，我們留下來丟棄不匹配

recursive([_|T], L) :- recursive(T, L).