프롤로그 목록 작성

Question

프롤로그 프로그램을 처음 프로그래밍 할 때 언어가 정확히 어떻게 사용되는지 파악하는 데 어려움이 있습니다. 나는 퍼즐을 분석하고 퍼즐을 해결하는 행동 (경로)의 목록을 반환하는 프로그램을 만들고 있습니다.

puzzle(Size,start(StartX,StartY),goal(GoalX,GoalY),Clues,Path) :- 
    solve(Size,StartX,StartY,XX,YY,Turns,Clues,GoalX,GoalY,[field(StartX,StartY)],Path). 

solve(Size,X,Y,XX,YY,Turns,Clues,GoalX,GoalY,Visited,Path) :- 
    X=GoalX, Y=GoalY,!;  
    Turns == 0, neighbor(X,Y,XX,YY), append(link(X,Y,XX,YY),Path,Newpath), solve(Size,XX,YY,XXX,YYY,Turns,Clues,GoalX,GoalY,Visited,Newpath); 
    Turns > 1, turn(X,Y,XX,YY), append(link(X,Y,XX,YY), Path, Newpath), solve(Size,XX,YY,XXX,YYY,Turns,Clues,GoalX,GoalY,Visited,Newpath). 

내가 재귀 적 기능을 해결 호출하고 목표에 도달 할 때까지 모든 새로운 호출 점진적 경로에 특정 동작을 추가하여 경로를 만들 : 여기처럼 보이는 방법을 매우 단순화 된 버전입니다. 이제 내 문제는 마지막 재귀 호출에 내가 원하는 경로가있는 것입니다. 그러나 묻는다면

?- puzzle(3, start(1,1), goal(3,3), [clue(2,1,2),clue(2,2,2)],Path) 

경로를 반환하지 않습니다. 설명하기 :

가

Exit: (13) solve(3, 3, 2, 0, 1, _G1027, _G1028, 1, 0, 1, [clue(2, 2, 2)], 3, 3, [feld(3, 2), feld(3, 1), feld(2, 1), feld(1, 1)], [link(3, 1, 3, 2), link(2, 1, 3, 1), link(1, 1, 2, 1), _G1012]) ? creep 

[링크 (3, 1, 3, 2), 링크 (2, 1, 3, 1) 링크 (1, 1, 2, 1), _G1012] 경로 I이고 필요한 것.

Exit: (12) move2(3, 3, 1, 1, 0, _G1027, _G1028, 1, 0, 2, [clue(2, 2, 2)], 3, 3, [feld(3, 1), feld(2, 1), feld(1, 1)], [link(2, 1, 3, 1), link(1, 1, 2, 1), _G1012]) ? creep 
    Exit: (11) solve(3, 3, 1, 1, 0, _G1027, _G1028, _G1029, _G1030, 2, [clue(2, 2, 2)], 3, 3, [feld(3, 1), feld(2, 1), feld(1, 1)], [link(2, 1, 3, 1), link(1, 1, 2, 1), _G1012]) ? creep 
    Exit: (10) stepfromclue(3, 2, 1, 1, 0, 2, [clue(2, 2, 2)], 3, 3, [feld(2, 1), feld(1, 1)], [link(1, 1, 2, 1), _G1012]) ? creep 
    Exit: (9) checkclue(3, 2, 1, 1, 0, [clue(2, 1, 2), clue(2, 2, 2)], 3, 3, [feld(2, 1), feld(1, 1)], [link(1, 1, 2, 1), _G1012]) ? creep 
    Exit: (8) solve(3, 1, 1, 1, 0, 2, 1, _G1029, _G1030, 0, [clue(2, 1, 2), clue(2, 2, 2)], 3, 3, [feld(1, 1)], [_G1012]) ? creep 
    Exit: (7) puzzle(3, start(1, 1), goal(3, 3), [clue(2, 1, 2), clue(2, 2, 2)], [_G1012]) ? creep 
    Exit: (6) puzzle(1, [_G1012]) ? creep 

경로 = [_G1012]는 내가 얻는 경로입니다. 나는 진지하게 내가 프로그램을 완전히 다시 쓰지 않고서 내가 필요한 길을 묻는 방법에 대해 머리를 감쌀 수 없다.

Answer 1

전체 코드 (link/4 사실 포함)를 보지 않고도 프로그램을 직접 추적 할 수 없기 때문에 추측하기가 조금 어렵습니다. 두 가지 문제는 여기

append(link(X,Y,XX,YY),Path,Newpath), 

있습니다 : 당신이하려고 무엇

변수 NewPath에서 새 경로를 생성 경로에 대한 링크를 추가하여 반복적으로 경로를 구성입니다 :하지만 문제는 다음과 같은 생각 . 첫 번째는 link(X,Y,XX,YY)이 목록이 아니기 때문에 append/3은 실패합니다. 두 번째로 더 중요한 것은 Path이 입력 변수이고 NewPath 출력이지만 NewPath은 solve/11의 다음 호출로 전달되지만 상승하지는 않습니다. 이렇게하면 전체 경로가 호출자에게 절대 전달되지 않습니다. 따라서 puzzle/5 호출 수준에서 Path 변수는 인스턴스화되지 않은 상태로 유지됩니다.

solve에 대한 코드는 아마 다음과 같아야합니다

solve(_,X,Y,_,_,_,_,GoalX,GoalY,_,Path,Path) :- 
    X=GoalX, Y=GoalY,!. 
solve(Size,X,Y,XX,YY,Turns,Clues,GoalX,GoalY,Visited,PathIn,Path) :- 
    Turns == 0, 
    neighbor(X,Y,XX,YY), 
    append(PathIn,[link(X,Y,XX,YY)],PathOut), 
    solve(Size,XX,YY,XXX,YYY,Turns,Clues,GoalX,GoalY,Visited,PathOut,Path). 
solve(Size,X,Y,XX,YY,Turns,Clues,GoalX,GoalY,Visited,PathIn,Path) :- 
    turn(X,Y,XX,YY), 
    append(PathIn,[link(X,Y,XX,YY)],PathOut), 
    solve(Size,XX,YY,XXX,YYY,Turns,Clues,GoalX,GoalY,Visited,PathOut,Path). 

그것은 더 간단하게 할 수는 있지만.