sentence(S):-'文'(S).
/* 最も基本的な文 */
'名詞'('たろう').
'名詞'('じろう').
'動詞'('寝ている').
'動詞'('歩いている').
'文'(S):- '名詞'(N), '動詞'(V), S=(N-'が'-V-'。').
/* 動詞句を許す文 */
'文'(S):- '名詞'(N), '動詞句'(VP), S=(N-'が'-VP-'。').
'動詞句'(VP):- '名詞'(L,'場所'), '動詞'(V), VP=(L-'で'-V).
'名詞'('ベッド','場所').
'名詞'('公園','場所').
/* 名詞句と動詞句をともに許す文 */
'文'(S):- '名詞句'(NP), '動詞句'(VP), S=(NP-'が'-VP-'。').
'名詞句'(NP):- '形容詞'(AD), '名詞'(N), NP=(AD-N).
'形容詞'('疲れた').
'形容詞'('元気のいい').