Prolog：DCG文法を他の制限と組み合わせる

Question

私はPrologのDCGに非常に感銘を受けています。

しかし、私はこの検索を他の制約と組み合わせたいと思います。たとえば、複雑な文法を定義し、Prologに10語以下のすべての文を生成するように依頼します。または、同じ単語を2度繰り返さないすべての文章。

このような余分な制約をDCG文法に追加することは可能ですか？あるいは、私は基本的にDCGを通常のProlog句に変換して修正する必要がありますか？

Answer 1

あなただけ生成されているすべての文章を見たい場合は、次のように使用することは非常に便利である：すべての文章を生成し、もちろん

?- length(Xs, N), phrase(mynonterminal, Xs). 

。しかし、それは非常に便利であり、具体的な限界を考える時間を節約します。それ以上に制限したい場合は、先に目標between(0,10,N)を追加してください。

あなたが特定の非端末が一定の長さを取る必要があることを、文法の中に言いたい場合は、それが明示的にこれを言うのが最善です：

seq([]) --> []. 
seq([E|Es]) --> [E], seq(Es). 

a --> {length(Es,10)}, seq(Es), {phrase(mynonterminal,Es)}. 

あなたはまだ満足していない場合、あなたがしたいです2つの非終端記号の交差を表現する。これは、一般的には決めることのできない2つの文脈自由言語の交わりを尋ねることと同じです。しかし、はるか早期に、あなたは終了に問題があります。そこで、以下においてその点に注意してください。

:- op(950, xfx, &). 

(NT1 & NT2) --> 
    call(Xs0^Xs^(phrase(NT1,Xs0,Xs),phrase(NT2,Xs0,Xs))). 

次あなたがlibrary(lambda)を使用しない場合にのみ必要とされている：

^(V0, Goal, V0, V) :- 
     call(Goal,V). 

^(V, Goal, V) :- 
    call(Goal). 

だから、これは二つの非端末の交差点を表現するために、今を許可します。しかし、終了は非常に脆弱であることにご注意ください。特に、第1の非端末の終了は必ずしも第2の端末を制限するものではない。

Answer 2

だけでなく、あなたは常に{}使用することができますし、例えば、イン間のプロローグ述語のいずれかの種類を記述します。

foo(X)--> 
    { valid(X) }, 
    [a]. 
foo(X)--> 
    [b]. 

ますので、ワードカウンタのいくつかの並べ替えを追加することができます。もちろん、各トークンが単語であれば、length（L、N）、N < 11、start（L、[]）のように書くことができます。一方、制約の複雑さに応じて、異なる部分にエンコードするほうが良いかもしれません。コンパイラの中のparser-> semantic checkerのようなものです。