このディレクトリの索引
%  
%  「春が来た」のProlog述語としての一番自然な定義は、
%  

来た(春).

%  であろうが
%%%%%%%%%%%%%%%%%%%%%%%%%%

来た(春が).

%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た.

%%%%%%%%%%%%%%%%%%%%%%%%%%

春(来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%

春が(来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春,_春が来た) :-
        春(_春),
        来た(_春,_春が来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春,_来た) :-
        春(_春),
        来た(_来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春,_来た,_春が来た) :-
        春(_春),
        来た(_春,_来た,_春が来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春が来た) :-
        春(_春),
        来た(_来た),
        春が来た(_春,_来た,_春が来た).

%  などの定義も考えられる。
%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春,_春が来た) :-
        春が(_春),
        来た(_春,_春が来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春,_来た) :-
        春が(_春),
        来た(_来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春,_来た,_春が来た) :-
        春が(_春),
        来た(_春,_来た,_春が来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春が来た) :-
        春が(_春),
        来た(_来た),
        春が来た(_春,_来た,_春が来た).

%  もあり得るし、僅かな違いで、
%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春が,_春が来た) :-
        春が(_春が),
        来た(_春が,_春が来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春が,_来た) :-
        春が(_春が),
        来た(_来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春が,_来た,_春が来た) :-
        春が(_春が),
        来た(_春が,_来た,_春が来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

春が来た(_春が来た) :-
        春が(_春が),
        来た(_来た),
        春が来た(_春が,_来た,_春が来た).

%  とする人もいるだろう。
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  さらに演算子を定義することによって、

:- op(600,xfx,が).

春 が 来た.

%  や
%%%%%%%%%%%%%%%%%%%%%%%%%%%

:- op(500,xf,が).
:- op(700,xf,来た).

春 が 来た.

%  も勿論ある。
%%%%%%%%%%%%%%%%%%%%%%%%%%%

が(春,来た).

%  もあるし、ここから派生して
%%%%%%%%%%%%%%%%%%%%%%%%%%%

が(春,来た,春が来た).

%%%%%%%%%%%%%%%%%%%%%%%%%%%

が(春,来た,_春,_来た) :-
        春(_春),
        来た(_春,_来た).

%  などの変化は大きく成長する余地がある。
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  以下のように句構造として解析する定義も「春が来た」の定義を構成する。

春が来た(_構文解析項) :-
        文([春,が,来た],_構文解析項,_).


文解析(_文,_解析) :-
        形態素解析(_文,_形態素ならび),
        文(_形態素ならび,_解析,_).

文(_文の語彙ならび,文(_名詞句情報,_動詞情報),_残り語彙ならび) :-
        名詞句(_文の語彙ならび,_名詞句情報,_残り語彙ならび_1),
        動詞(_残り語彙ならび_1,_動詞情報,_残り語彙ならび).

名詞句(_語彙ならび,名詞句(_名詞情報,_後置詞情報),_残り語彙ならび) :-
        名詞(_語彙ならび,_名詞情報,_残り語彙ならび_1),
        後置詞(_残り語彙ならび_1,_後置詞情報,_残り語彙ならび).

名詞([春|_残り語彙ならび],名詞([春,名詞,一般名詞]),_残り語彙ならび).

後置詞([が|_残り語彙ならび],後置詞([が,後置詞,格助詞]),_残り語彙ならび).

動詞([来た|_残り語彙ならび],動詞([来た,動詞,過去形]),_残り語彙ならび).

%  文/3