프롤로그 - 백 트랙에서 번갈아 나타나는 기호 생성 : [a]; [a, b]; [a, b, a]; [a, b, a, b]

Question

나는 내 마음을 많이 감쌌다. 는 역 추적이 형식의 목록을 생성하여 해당 스크립트를 만드는 것이 가능 :

[a] 
[a,b] 
[a,b,a] 
[a,b,a,b] 
... 

내가 한 번에 두 가지 요소를 생성 한 만들었을하지만 내 머리 "는 발생 하나를 만들려고 상처를하기 시작 "다음에"b "와 다음"a "등등. 항상 DCG 표기을 사용하는 것이 좋습니다 목록을 설명 할 때

ab([a]). 
ab([b,a|T]):-ab([a|T]). 
ab([a,b|T]):-ab([b|T]). 

Answer 1

: 여기

는 한 번에 두 가지 요소의 스크립트입니다.

이렇게하면 많은 변수와 인수를 추가하지 않고 본질의 내용을 원하는대로 집중시키는 것이 매우 편리합니다.

예를 들어, 고려 :

 
abs --> [a], abs_rest. 

abs_rest --> []. 
abs_rest --> [b], ([] | abs). 

샘플 쿼리 및 답변 :

 
?- phrase(abs, ABs). 
ABs = [a] ; 
ABs = [a, b] ; 
ABs = [a, b, a] ; 
ABs = [a, b, a, b] ; 
ABs = [a, b, a, b, a] ; 
ABs = [a, b, a, b, a, b] . 

이 편리 형식주의에 대한 자세한 내용은 dcg하세요!

Answer 2

나는 하나가 가능한 경우 이러한 문제 유형에 대한 dcg 사용해야 @mat에 동의합니다.

다음은 다른 규칙 집합입니다.

abs --> [a]. 
abs --> [a,b]. 
abs --> [a,b], abs. 

?- phrase(abs, Ls). 
Ls = [a] ; 
Ls = [a, b] ; 
Ls = [a, b, a] ; 
Ls = [a, b, a, b] ; 
Ls = [a, b, a, b, a] ; 
Ls = [a, b, a, b, a, b] ; 
Ls = [a, b, a, b, a, b, a] ; 
Ls = [a, b, a, b, a, b, a, b] ; 
Ls = [a, b, a, b, a, b, a, b, a] 

는 흥미롭게도 그 규칙은, DCG를 사용하지 않으려면 Using Definite Clause Grammars in SWI-Prolog

에서 운동 중 하나입니다

abs2 --> []. 
abs2 --> [a]. 
abs2 --> [a,b], abs2. 

?- phrase(abs2, Ls). 
Ls = [] ; 
Ls = [a] ; 
Ls = [a, b] ; 
Ls = [a, b, a] ; 
Ls = [a, b, a, b] ; 
Ls = [a, b, a, b, a] ; 
Ls = [a, b, a, b, a, b] ; 
Ls = [a, b, a, b, a, b, a] ; 
Ls = [a, b, a, b, a, b, a, b] 

그때 내가 @mat 동의 및 제안이 변화에서 시작 표준 Prolog 구문에서 DCG를 보려면 listing/1을 사용합니다.

listing(abs). 

abs([a|A], A). 
abs([a, b|A], A). 
abs([a, b|A], B) :- 
     abs(A, B). 

listing(abs2). 

abs2(A, A). 
abs2([a|A], A). 
abs2([a, b|A], B) :- 
     abs2(A, B). 

정상 프롤로그 규칙으로 그들과 같은 사용할 수 있습니다

abs(X,[]). 
X = [a] ; 
X = [a, b] ; 
X = [a, b, a] ; 
X = [a, b, a, b] ; 
X = [a, b, a, b, a] ; 
X = [a, b, a, b, a, b] ; 
X = [a, b, a, b, a, b, a] 

abs2(X,[]). 
X = [] ; 
X = [a] ; 
X = [a, b] ; 
X = [a, b, a] ; 
X = [a, b, a, b] ; 
X = [a, b, a, b, a] ; 
X = [a, b, a, b, a, b] 

Answer 3

당신이 쓴 술어는 너무 일반적입니다 :

?- ab([b,a]). 
true 

원인은 다음과 같은 규칙

ab([b,a|T]) :- 
    ab([a|T]). 

입니다

당신이 말할 수있는 것은 당신이 실제 문제에 대한 해결책이 아닌 중간 결과를 산출하십시오.ab 순서가 a로 시작하고 나머지 흉상은 ba 시퀀스가 ​​다시 ab 시퀀스에 의해 정의되는 ba 시퀀스 수보다이 문제를 해결하려면, 당신은 명시 수 : 또는

ab([a]). 
ab([a|Xs]) :- 
    ba(Xs). 

ba([b]). 
ba([b|Xs]) :- 
    ab(Xs). 

, 당신은 abs 생각할 수 마지막 요소가 b이고 그 반대 인 경우 이 a 인 상태 기계. 우리가 지난 앞에 추가 한 같은 ab 순서를 정의 이제

abs(a,[a]). 
abs(b,[b]). 
abs(a,[a|Xs]) :- 
    abs(b,Xs). 
abs(b,[b|Xs]) :- 
    abs(a,Xs). 

a : 우리가 역사를 추적하기 위해 추가 인수를 도입하는 경우 에서 우리는 도착

ab(Xs) :- 
    abs(a,Xs). 

재미 되세요 :)