末尾に 'a'文字を含むすべての部分文字列

Question

「文字列」のすべての「部分文字列」をリストすることができるPrologプログラムを作成するタスクを受け取りました。 2文字。例えば

：[|テールヘッド]と再帰的に呼び出す

?- avegu("baka", R). 
R = "ba"; 
R = "baka"; 
R = "aka"; 
R = "ka"; 
false. 

私の考えは、私は与えられた文字リスト（文字列）を分割しなければならないということです。 Headが 'a'のとき、反復処理した部分文字列を返し、リストの最後までこれを続けます。私はこのアイデアをどのように実装するのか分かりません。

Answer 1

原子を使用して文字列を使用しない場合は、atom_length/2とsub_atom/5を使用できますが、SWIを使用する場合は「文字列」と同じものがあります。

babakaakaka(X, Sub) :- 
    atom_length(X, Len), 
    sub_atom(X, _, Sub_len, _, Sub), 
    between(2, Len, Sub_len), 
    sub_atom(Sub, _, 1, 0, a). 

、その後、私が書く：

?- babakaakaka(baka, X). 
X = ba ; 
X = baka ; 
X = aka ; 
X = ka ; 
false. 

Answer 2

あなたがここにいくつかの問題に触れています。

まず、文字列が文字のリストで表されるようにします。これを取得する最も簡単な方法は、ディレクティブを使用することです。

:- set_prolog_flag(double_quotes, chars). 

1文字で余分な引用符を使用する必要はありません。したがって

?- "abc" = [A|BC]. 
A = a, 
BC = [b,c]. 

はその後、それがdcgを使用して、すべての簡単です、

avegu(String, SubstringA) :- 
    Substring = [_|_], 
    phrase((..., seq(Substring), "a", ...), String), 
    phrase((  seq(Substring), "a"  ), SubstringA). 

... --> [] | [_], ... . 

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

?- avegu("baka", R). 
R = [b, a] ; 
R = [b, a, k, a] ; 
R = [a, k, a] ; 
R = [k, a] ; 
false. 

も、答えを二重引用符を使用する方法についてはthis answerを参照してください。