프롤로그 용어 연결

Question

프로그램에서 결과를 포맷하려고하는데 어려움을 겪고 있습니다.

나는 결과로이 같은 것을주고 싶어 :

Res = do(paint(x) do(clean(a), do(repair(b) , initialState))) 

기본적으로, 나는에 연속적인 측면을 연결하려는 초기 상태 (Initial) 원자하지만, 그것은 다른 용어가 아니다 연결할 수 있기 때문에 atom_concat 작동하지 않습니다 원자도 추가하고 싶었습니다.) "do"함수를 통과 할 때마다).

그래서 다음과 같이됩니다. Res = initialState.

함수가 호출 할

, 나는

concatenateTerm(Pred, Res, Res). 

Pred를 가산 같은 함수 (b)는 예를 들어 수리 beeing는이 있고 결과 얻을 것입니다 : res = do(repair(b), 초기 상태 (Initial)를).

이 작업을 수행 할 수 있습니까?

감사

Answer 1

like :

Res0 = initialState, 
do(repair(b), Res0, Res1), 
do(clean(a), Res1, Res2), 
do(paint(x), Res2, Res3), 

여기서 최종 결과는 Res3입니다. 프롤로그 프로시 저는 아무것도 반환하지 않으며 입출력 값은 인수를 통해 전달되어야한다는 것을 기억하십시오.

왜 연속적인 단어를 원자로 연결 하시겠습니까?initialState? 이건 프롤로그 방식이 아니야. 프롤로그에서는 매번 수정되는 구조를 만드는 것이 훨씬 자연 스럽습니다.

Answer 2

d0pe @는 프롤로그에서 어떤 결과 (그들은 내가 추측, 수성과 얼랑에 존재)의 머리에 통일/지정 아마 몸의 뒷부분에 통합에만라는 이름의 값이 존재하지 않는다. Temp = Res, Res = do(Pred, Temp)이 무한 반복적 인 용어 do(Pred, do(Pred, do(Pred, ...))) (적절한 확장자가있는 경우)을 생성하기 때문에 Temp = Res, concatenateTerm (Pred,Temp, Res)을 수행하는 것이 대부분의 경우 실패합니다. 나는 이것이 당신이 원하는 것이 아니라고 생각합니다.
하지만 이제는 을 수정 하시길 바랍니다.Res을 수정하십시오. 이는 Prolog에 대한 잘못된 이해입니다. 당신은 아마 당신의 규칙처럼 보일 (프롤로그에서 원숭이 + bananna의 예를 참조)합니다 다음 방법 Res0 = initialState, Res1 = do(repair(b), Res0), Res2 = do(clean(a), Res1), Res3 = do(paint(x), Res2).

를 사용한다, 어떤 변수가 없습니다 : 난 당신이 뭔가를 할 필요가 제대로 이해하면

solve(FinalState, finish, FinalState). % our initial state is our goal 

solve(InitState, do(Action, Future), FinalState):- 
    action(InitState, Action, NewState), 
    solve(NewState, Future, FinalState). 

Answer 3

내가 방금 대신 원자을 구성하기 위해 노력하는 당신의 결과로 PROLOG 용어를 구성해야 할 수도에서 @rvirding에 동의합니다. 후자를 시도해도 (실제로 가능), 필요하다면 유틸리티 함수 (예 : SWI-PROLOG의 atom_to_term/3 또는 term_to_atom/2)를 사용하여 원자에서 용어로 변환하고 다시 변환 할 수 있습니다.당신이 이전에 설명한대로

어쨌든, 간단한 조건은 다음과 같이 볼 수 있었다 당신의 '상태'규정 및 출력 이러한 용어의 전체 목록을 취할 :

build_do_term([X,Y], do(X,Y)) :- !. 
build_do_term([X|Xs], do(X,Rem)) :- 
    build_do_term(Xs, Rem). 

은 국가의 조건으로이 술어를 호출 (최소 2 개 이상이어야 함) :

?- build_do_term([paint(x), clean(a), repair(b), initialState], Rem). 
Rem = do(paint(x), do(clean(a), do(repair(b), initialState))). 

... 이후에 설명 된 동작을 반영합니다. 목록에서 한 번에 모든 용어를 작성하고 싶지 않은 경우 위의 build_do_term/2에 사용 된대로 do/2 용어 작성 방법을 사용하여 필요에 따라 적절한 do/2 용어를 구성 할 수 있습니다.