여기

Question

은 문법이다.

및 테스트 S ([a, a, b, c, c, c], []). true를 반환해야합니다. 내 코드에서 목록 요소를 검사하기 위해 일치 규칙을 정의했습니다.

match(H,[H|T],T). 
na(X0,X1):-match(a,X0,X2). 
nb(X0,X1):-match(b,X0,X2). 
nc(X0,X1):-match(c,X0,X2). 
ns(X0,X1):-na(X0,X2),nb(X2,X3),nc(X3,X1). 

이 코드에서 잘못된 점은 무엇입니까? 그것은 당신이 추적 할 때 그러나 진실을 준다. 작동하지 않습니다.

Answer 1

:- set_prolog_flag(double_quotes, chars). 

s --> x, y, z. 
x --> "a",x|"a". 
y --> "b",y|"b". 
z --> "c",z|"c". 

여기 그들은 길이에 의해 정렬됩니다 :이 사이트가 어떻게 작동하는지

?- length(Xs,N),phrase(s, Xs). 
Xs = [a, b, c], 
N = 3 ; 
Xs = [a, a, b, c], 
N = 4 ; 
Xs = [a, b, b, c], 
N = 4 ; 
Xs = [a, b, c, c], 
N = 4 ; 
Xs = [a, a, a, b, c], 
N = 5 ; 
Xs = [a, a, b, b,