解決8個難題啓發式問題

Question

我對prolog非常陌生，並且對8個難題啓發式問題有困難。我不知道如何比較兩個列表（目標和開始）並找出我的h值。我想要做的是發送compare_list兩個列表目標並開始。它應該比較每個頭，如果它們不相等，則將其他的總數加1，這是自我遞歸的。我不知道如果在序言中如果其他語句如何做。

%T1,T2,T3 top 
%M1,M2,M3 middle 
%B1,B2,B3 bottom 

goal([1/2/3/8/0/4/7/6/5]). 

%Top row movements 
%shift right 
shift([T1/0/T3/M1/M2/M3/B1/B2/B3], 
     [0/T1/T3/M1/M2/M3/B1/B2/B3]). 

shift([T1/T2/0/M1/M2/M3/B1/B2/B3], 
     [T1/0/T2/M1/M2/M3/B1/B2/B3]). 

%shift left 
shift([T1/T2/T3/M1/M2/M3/B1/B2/B3], 
     [T1/T2/T3/M1/M2/M3/B1/B2/B3]). 

shift([T1/T2/T3/M1/M2/M3/B1/B2/B3], 
     [T1/T2/T3/M1/M2/M3/B1/B2/B3]). 

%shift down 
shift([T1/T2/T3/0/M2/M3/B1/B2/B3], 
     [0/T2/T3/T1/M2/M3/B1/B2/B3]). 

shift([T1/T2/T3/M1/0/M3/B1/B2/B3], 
     [T1/0/T3/M1/T2/M3/B1/B2/B3]). 

shift([T1/T2/T3/M1/M2/0/B1/B2/B3], 
     [T1/T2/0/M1/M2/T3/B1/B2/B3]). 

%Middle row movements 
%shift right 
shift([T1/T2/T3/M1/0/M3/B1/B2/B3], 
     [T1/T2/T3/0/M1/M3/B1/B2/B3]). 

shift([T1/T2/T3/M1/M2/0/B1/B2/B3], 
     [T1/T2/T3/M1/0/M2/B1/B2/B3]). 

%shift left 
shift([T1/T2/T3/0/M2/M3/B1/B2/B3], 
     [T1/T2/T3/M2/0/M3/B1/B2/B3]). 

shift([T1/T2/T3/M1/0/M3/B1/B2/B3], 
     [T1/T2/T3/M1/M3/0/B1/B2/B3]). 

%shift up 
shift([0/T2/T3/M1/M2/M3/B1/B2/B3], 
     [M1/T2/T3/0/M2/M3/B1/B2/B3]). 

shift([T1/0/T3/M1/M2/M3/B1/B2/B3], 
     [T1/M2/T3/M1/0/M3/B1/B2/B3]). 

shift([T1/T2/0/M1/M2/M3/B1/B2/B3], 
     [T1/T2/M3/M1/M2/0/B1/B2/B3]). 

%shift down 
shift([T1/T2/T3/M1/M2/M3/0/B2/B3], 
     [T1/T2/T3/0/M2/M3/M1/B2/B3]). 

shift([T1/T2/T3/M1/M2/M3/B1/0/B3], 
     [T1/T2/T3/M1/0/M3/B1/M2/B3]). 

shift([T1/T2/T3/M1/M2/M3/B1/B2/0], 
     [T1/T2/T3/M1/M2/0/B1/B2/M3]). 

%bottom row movements 

%shift right 
shift([T1/T2/T3/M1/M2/M3/B1/0/B3], 
     [T1/T2/T3/M1/M2/M3/0/B1/B3]). 

shift([T1/T2/T3/M1/M2/M3/B1/B2/0], 
     [T1/T2/T3/M1/M2/M3/B1/0/B2]). 

%shift left 
shift([T1/T2/T3/M1/M2/M3/0/B2/B3], 
     [T1/T2/T3/M1/M2/M3/B2/0/B3]). 

shift([T1/T2/T3/M1/M2/M3/B1/0/B3], 
     [T1/T2/T3/M1/M2/M3/B1/B3/0]). 

%shift up 
shift([T1/T2/T3/0/M2/M3/B1/B2/B3], 
     [T1/T2/T3/B1/M2/M3/0/B2/B3]). 

shift([T1/T2/T3/M1/0/M3/B1/B2/B3], 
     [T1/T2/T3/M1/B2/M3/B1/0/B3]). 

shift([T1/T2/T3/M1/M2/0/B1/B2/B3], 
     [T1/T2/T3/M1/M2/B3/B1/B2/0]). 


h(State):- 
    compare_list(State, goal, 1). 

compare_list([H1 | T1], [H2 | T2], I) :- 
    H1 \= H2, 
    compare_list(T1, T2, I1), 
    I is I1 +1. 

Answer 1

當然，你使用的是錯誤的語法：列表使用逗號作爲分隔符。例如

goal([1,2,3,8,0,4,7,6,5]). 

我認爲你可以做一個全局搜索和替換，一次做所有的更改。 之後，compare_list/3可以開始工作，但我想知道計數器I的效用。這似乎沒用。

而我不能發現其中你應用這些班次。然後，我不確定您是否正在尋求解決方案。

如果你有興趣，我發佈前幾天this答案。對不起，這和你的完全不同。