プロローグ文法プロダクション

Question

プロローグでプロダクションルールを書く方法を学ぼうとしています。 これは私が持っているものです。

paragraph --> sentence, paragraph ; []. 
sentence --> proper_noun, [ ], verb, [ ], preposition, [ ], article, [ ], noun, period. 
proper_noun --> [Jimmy] ; [Yancy] ; [Clementine] ; [Astrid]. 
verb --> [runs] ; [walks] ; [skips] ; [flies]. 
preposition --> [to] ; [at] ; [around] ; [through]. 
article --> [the] ; [a]. 
noun --> [school] ; [house] ; [car] ; [spaceship]. 
period -->[.]. 

私はそれが出力として偽を返さ

phrase(sentence, [Jimmy," ",walks," ",to," ",the," ",school], []), atom_codes(Output,[Jimmy," ",walks," ",to," ",the," ",school]). 

を使用して、それを呼び出そうとしました。私がどこに間違って行ったのか、そしてより良い文法を書く方法を理解するのを助けてください。

Answer 1

'Jimmy'などを使用します（大文字で始まるすべてのアトムを引用符で囲みます）。それ以外の場合は、論理変数として解釈されます。あなたは "シングルトン変数"の警告をたくさん取得します。

あなたはまた、いくつかの括弧を逃し、そしてさらにいくつかの誤字作った：ちょっと

30 ?- phrase(sentence, ['Jimmy', walks, to, the, school, .], []). 
true ; 
false.