DCGの過渡関数

Question

DCGで次のような過渡関数を作ることはできますか？または、DCGルールと組み合わせることはできますか？

genx(A,B) :- gen(A,B). 
genx(A,C) :- gen(A,B), genx(B,C). 
gen(a,b). 
gen(b,c). 

私は、私は正確にやろうとしているかを説明します：

私はこの文法を持っている場合：

noun_phrase(D,N) --> det(D), noun(N). 
noun(n(cat)) --> [cat]. 

私はNにnoun(N)にしたい場合のように、いくつかの制限を作りたいです動物である。 undestandのおかげ

Answer 1

わからない

gen(cat,pet). 
gen(pet,animal). 

：猫の情報は、動物がのようないくつかの事実からinferencedされ

noun_phrase(np(D,N)) --> det(D), noun(N), genx(N, animal). 

：だから私はこのようなものを使用することができます。ビューの正式な観点からルール

genx(A,B) :- gen(A,B). 
genx(A,C) :- gen(A,B), genx(B,C). 

が

genx --> gen. 
genx --> gen, genx. 

と、事実と、

gen(a, b). 
gen(b, c). 

としてDCG構文で記述することができ

私は間違っていないよ場合は、

genx(a, c)はtrueを返す必要があります。

しかし、DCGのA,B,Cはリストになるように意図されています。

このように代数ルールを実装するためにDCG（解析用）を使用するのが妥当であるかどうかはわかりません。