결과가 정확하지

Question

그래서 프롤로그이 코드 조각이 :

my_avalia(A, R) :- 
    A == "Koza" -> koza(R, 0, 0, e, 89). 

koza(R, _, _, _, 87) :- 
    !, 
    write(R). 

koza(R, X, Y, V, C) :- 
    movex(V, X, X1), 
    movey(V, Y, Y1), 
    confirma(X1, Y1, Z), 
    Z == 1 -> (append(R, [emFrente], U), 
      L is (C - 1), 
      koza(U, X1, Y1, V, L)). 

사정 내가) 코자에서 "R"(쓸 때, 그것은하지만, 정확한 값을 가지고 있다는 것입니다 다음과 같이 호출하면 my_avalia에 빈 목록이 생깁니다.

my_avalia ("Koza", R).

내 재귀가 올바르지 않지만 실제로 어떤 문제가 있는지 알지 못합니다. 미리 감사드립니다.

다른 기능 :

movex(X,Y,R):-(X==o)->(R is Y-1). 
movex(X,Y,R):-(X==n)->(R is Y). 
movex(X,Y,R):-(X==s)->(R is Y). 
movex(X,Y,R):-(X==e)->(R is Y+1). 

movey(X,Y,R):-(X==n)->(R is Y-1). 
movey(X,Y,R):-(X==s)->(R is Y+1). 
movey(X,Y,R):-(X==o)->(R is Y). 
movey(X,Y,R):-(X==e)->(R is Y). 

confirma(X,Y,R):-(santafe(X,Y),R is 1); (R is 0). 

나는 그런 바보 같은 실수를 밖으로 .. 생각. 어쨌든

koza([], _, _, _, 87) :-!. 
koza(R, X, Y, V, C) :- 
    movex(V, X, X1), 
    movey(V, Y, Y1), 
    confirma(X1, Y1, Z), 
    Z == 1 -> (L is (C - 1), 
      koza(U, X1, Y1, V, L), 
      append(U, [emFrente], R)). 

감사합니다.

Answer 1

koza([], _, _, _, 87) :-!. 
koza(R, X, Y, V, C) :- 
    movex(V, X, X1), 
    movey(V, Y, Y1), 
    confirma(X1, Y1, Z), 
    Z == 1 -> (L is (C - 1), 
      koza(U, X1, Y1, V, L), 
      append(U, [emFrente], R)).