DCGs中的协调类型

Question

我试图使用prolog为音乐上下文开发一个简单的DCG。

我对音符的定义如下：

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

以上“ton”和“sup”的论点与音符所属的和弦有关。音符a，d，f属于*ton*ic和弦，b，e，g音符属于*sup*ertonic和弦(在D大调中)。

现在，我想介绍一个进一步的‘音符’符号，它有两个参数，一个用于和弦，另一个用于音符持续时间。例如,

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

我的问题在于注(X)，2是一个列表a,2，我需要它的形式a2。

可以通过不使用变量X来解决这个问题：

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

但是，由于我的表示法中有七个不同的和弦和七个不同的音长，这将涉及到许多不必要的代码(我认为)。

我不知道如何将note(X)和整数2连接起来，我也不知道该在哪里进行。是否有可能在重写规则的右边将东西连在一起？

谢谢,

肖恩

Answer 1

SWI有concat/2.您可以运行原始代码，然后通过这个谓词运行生成的原子列表，以获得一个原子作为输出：

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