% このディレクトリの索引 たけしさん たけしさん_3 たけしさん_4
#  
#  「たけしさんの前に9人、後ろに4人います。みんなで何人?」
#  

'「たけしさんの前に9人、後ろに4人います。みんなで何人?」'(_何人) :-
        'たけしさんの前に9人、後ろに4人います。'(_前に,たけしさん,_後ろに),
        'みんなで何人?'(_前に,たけしさん,_後ろに,_何人).

'たけしさんの前に9人、後ろに4人います。'(_前に,たけしさん,_後ろに) :-
        'たけしさんの前に9人、'(_前に),
        '後ろに4人います。'(_後ろに).

'たけしさんの前に9人、'(_前に) :-
        length(_前に,9).

'後ろに4人います。'(_後ろに) :-
        length(_後ろに,4).

'みんなで何人?'(_前に,たけしさん,_後ろに,_何人) :-
        みんなで(_前に,たけしさん,_後ろに,_みんなで),
        '何人?'(_みんなで,_何人).

みんなで(_前に,_たけしさん,_後ろに,_みんなで) :-
        append(_前に,[_たけしさん|_後ろに],_みんなで).

'何人?'(_みんなで,_何人) :-
        length(_みんなで,_何人).