序言通配符

Question

我想知道，我將如何使用下劃線兩次，但檢查該下劃線的兩個實例統一？

我基本上需要的是什麼，如果存在一個映射值相同的兩個元素，則返回true ...

即member((_,_),[(a,a),(b,a),(c,a)]).

如果我使用一個變量不使他們統一？

即member((A,A),[(a,a),(b,a),(c,a)]).

但它返回的變量，而不是真實的。

我需要一些啓發。

Answer 1

你的解決方案是一個變量是正確的。

返回變量是一種返回true的方法。這真的意味着：當var =值這個目標是真實的，而不是這個目標是真實的。

注意，使用本作中不同謂語從句，將隱藏變量：

contains_identical_pair(List) :- member((A,A),List). 

Answer 2

您可以使用雙重否定，以避免變量綁定：

?- \+ \+ member((A,A),[(a,a),(b,a),(c,a)]). 
true. 

Answer 3

的裝幀印刷變量在prolog屏幕上就可以在交互式提示中讓生活更輕鬆，這樣您就不必每次都打印出您關心的變量。它們完全不影響你的代碼的邏輯。

它們只會在變量提示時輸入。因此，如果您正在編寫的謂詞是較大程序的一部分，那麼您可以忽略此輸出，或者如果您希望它成爲人們從提示中調用並且不希望打印輸出的頂級謂詞，那麼只需將你的調用包裝在一個沒有參數或只有輸入參數的謂詞中。即：

wrapper :- 
    predicate(Out1,Out2). 

或：

wrapper(In1,In2) :- 
    predicate(In1,In2,Out1,Out2).