프롤로그 상호 재귀

Question

나는 프롤로그에서 상호 재귀에 의해 각 값을 확인하는 코드를 작성하고 있습니다. 이 지금까지 내 코드는 다음과 같습니다

semestersok(SP) :- 
    [Prior|Tail] = SP, 
    sem1ok(SP). 



%% sem1ok(SP) :- checks semester 1 of SP is ok 
sem1ok(SP) :- 
    [Sem1|Tail] = SP, 
    sem2ok(Tail). 

%% sem2ok(SP) :- 
sem2ok(SP) :- 
    [Sem2|Tail] = SP, 
    sem1ok(Tail). 

내가 확인과 관련 아직 어떤 코드를 삽입하지 않은, 내가 코드에 문제가있어 (이 값을 번갈아 확인하는대로이 개 관계있다) 빈 목록이 생길 때까지 사이클을 반복하면 실패하고 false (no)로 돌아옵니다. 이 코드는 어떤 코드도 조작하지 않으므로 지금 당장 그대로서야합니다. 왜 안 그래?

Answer 1

빈 목록에는 몇 가지 규칙이 필요합니다. 이 추가 : (빈리스트와 더 명확 비어 있지 않은 목록과 일치하는 하나의 일치 규칙의 차이로) 이런 식을 작성하는 경우

sem1ok([]). 
sem2ok([]). 

또한, 코드를보다 직관적 수 있습니다 :

를

% Rules for sem1ok/1 
sem1ok([]). 
sem1ok([Sem1|Tail]):- 
    ok(Sem1), % Something involving Sem1 
    sem2ok(Tail). 

% Rules for sem2ok/1 
sem2ok([]). 
sem2ok([Sem2|Tail]):- 
    ok(Sem2), % Something involving Sem2 
    sem1ok(Tail).