DCG 형식 연결

Question

프롤로그를 사용하여 음악 컨텍스트에 대한 간단한 DCG를 개발하려고합니다.

나는 다음과 같은 방법으로 음표를 정의했습니다 :

는

note(ton) --> [a];[d];[f]. 
note(sup) --> [b];[e];[g]. 
etc. 

't'와 'SUP'인수가 위에있는 노트를 화음과 관련이은에 속한다. 노트 a, d 및 f는 * 톤 * ic 코드에 속하며 노트 b, e 및 g는 * sup *에 트로닉 코드 (D 메이저 키의 키)에 속합니다.

이제는 두 개의 인수 (코드와 음표 기간 중 하나)를 취하는 추가 '메모'기호를 소개하고자합니다. 예를 들어,

note(X,q) --> note(X),[2]. 

내 문제는 note (X), [2]가 목록 [a, 2]이라는 사실에 있습니다. [a2] 형식으로 필요합니다. 일곱 개 가지 코드 내 표현의 일곱 개 가지 음표 길이가 있기 때문에

가

note(ton) --> [a];[d];[f]. 
note(ton,q) --> [a2];[d2];[f2]. 

그러나,이 불필요한 많이 포함 것 (:

이 변수 X를 사용하지 않음으로써이 문제를 해결 얻을 수 있습니다 나는 생각한다) 코드.

note (X)와 정수 2를 연결하는 방법을 잘 모르겠습니다. 또한이 작업을 수행해야하는 위치가 확실하지 않습니다. 다시 쓰기 규칙의 오른쪽에있는 것들을 연결할 수 있습니까?

감사합니다,

숀

Answer 1

SWI - 프롤로그 atomic_list_concat/2있다. 원래 코드를 실행 한 다음이 술어를 통해 결과 아톰 목록을 실행하여 단일 아톰을 출력으로 얻을 수 있습니다.

?- X=ton, phrase(note(X, q), ListOut), atomic_list_concat(ListOut, Atom). 
Atom = a2 ; 
Atom = d2 ; 
Atom = f2.