Šâè‚̃z[ƒ€ƒy[ƒW‚Ö–ß‚é
Ž©‘RŒ¾Œêˆ—“ü–å
0. “ü—͈—i‰¢•¶‚̃ŠƒX‚ÆŒ`Ž®‚Ö‚Ì•ÏŠ·A‘啶ŽšE¬•¶Žš‚̈—Ah–ñŒ`‚̈µ‚¢‚È‚Çj
1. ŠÈ’P‚È•¶–¬Ž©—R•¶–@‚Æ‚c‚b‚fi‚¢‚í‚ä‚éŠî–{•¶Œ^‚Ì“±“ü‚ÆŽåŠiŠÖŒW‘ã–¼ŽŒ‚̈—j
2. •¶‚Ì\‘¢•\Ž¦‚Ì‚½‚ß‚Ì‹Z–@
3. •¶–@‘f«‚É‚æ‚镶–¬Ž©—R•¶–@‚Ì•â‹i«A”AŠiAlÌAŽž§A“®ŽŒŒ`‘ÔA‘I‘ð§ŒÀj
4. •¶–@‹K‘¥‚ÆŒêœbƒf[ƒ^‚ÌØ‚è—£‚µ‚É‚æ‚鎫‘‚Ì®—‚ÆŒêœb“o˜^‚ÌŠÈ‘f‰»
5. “®ŽŒ‹å‚É‚©‚©‚í‚镶–@‘f«i•“®ŽŒ‚Ì“±“üAŒˆ’è‹^–╶AisŒ`AŠ®—¹Œ`Ato•s’莌j
6. Gap‘f«‚Ì“±“üi•â‘«‹^–╶‚ÆŽåŠiˆÈŠO‚ÌŠÖŒW‘ã–¼ŽŒ‚ȂLjꌩˆÚ“®‚µ‚Ä‚¢‚é‚©‚É‚Ý‚¦‚é
—v‘f‚̈µ‚¢j
7. •¶–@‚ÌŠg’£(¶Ä‹A‹K‘¥‚Æ–³ŒÀƒ‹[ƒvA‘O’uŽŒ‹åEŒ`—eŽŒ‹å‚̈—A‚»‚Ì‘¼‚Ì“ÁŽê\•¶j
8. –|–ó‚ÌÛ‚Ì”–â‘èi“ú–{Œê—pŒ¾‚ÌŠˆ—pEŒê”ö‚̈—A—ÊŽŒ‚̈µ‚¢‚È‚Ç )
i‚Pj‰¢•¶“ü—͈—
’Êí‚̉¢•¶Œ`Ž®‚Å“ü—Í‚µ‚½•¶‚ðProlog‚ň—‚·‚郊ƒXƒgŒ`Ž®‚É‚È‚¨‚·read_sent/1‚ð’è‹`‚µ‚Ă݂悤B
?-read_sent(X).
It is a pen.
X=['It',is,a,pen]
ƒXƒeƒbƒv‚PFl‚¦•û
@‹@ŠB‚ÍA“ü—Í•¶Žš‚ð‚½‚¾’P‚ɃAƒXƒL[ƒR[ƒh‚É•Ï‚¦‚Ĉ—‚µ‚Ä‚¢‚é‚ɉ߂¬‚È‚¢B
It is a pen.¨73 116 32 105 115 32 97 32 112 101 110 46
‚µ‚©‚µlŠÔ‚ÍA•¶‚Í’PŒê‚©‚ç’PŒê‚Í•¶‚©‚Å‚«‚Ä‚¢‚éiŠK‘w\‘¢‚ð‚È‚µ‚Ä‚¢‚éj‚±‚Æ‚ð
’¼Š´“I‚É—‰ð‚µ‚Ä‚¢‚éB‚µ‚½‚ª‚Á‚ÄAƒAƒXƒL[ƒR[ƒh‚̘A½‚𕶂Ƃµ‚Ä”FŽ¯‚³‚¹‚邽‚ß
‚É‚ÍA‚Pj‚Ç‚¤‚â‚Á‚Ä’PŒê‚ªì‚ç‚ê‚Ä‚¢‚‚Ì‚©A‚Qj‚¢‚Â’PŒê‚ªI‚í‚é‚Ì‚©A‚Rj‚¢‚Â
•¶‚ªI‚í‚é‚Ì‚©‚ɂ‚¢‚Ä‚Ìî•ñ‚ð‹@ŠB‚É‹³‚¦‚Ä‚â‚ç‚˂΂Ȃç‚È‚¢B‹ï‘Ì“I‚É‚ÍA‚Ç‚Ì•¶
Žš‚ð“Ç‚Ýž‚ñ‚¾‚Æ‚«‚ª‚»‚ê‚É‚ ‚½‚é‚Ì‚¾‚낤‚©H
‹æ•Ê‚·‚ׂ«•¶Žš‚ÌŽí—Þ
’Êí‚Ì•¶ŽšF’PŒê‚ðì‚é
‹ó”’^‰üsF‚»‚Ì‘O‚Å’PŒê‚ªI‚é
ƒsƒŠƒIƒh F‚»‚Ì‘O‚Å’PŒê‚ªI‚èA‚©‚‚»‚ꂪ•¶‚ÌI‚í‚è‚Å‚à‚ ‚é
ƒXƒeƒbƒv‚QF“Ç‚Ýž‚Ý•¶Žš‚ðƒAƒXƒL[ƒR[ƒh‚É•Ï‚¦‚é
@¡‚©‚çì‚éread_sent/1‚Ì’†‚Å‚ÍA‚Ü‚¸‰æ–Ê‚©‚ç“Ç‚Ýž‚ñ‚¾•¶Žš‚ð‹@ŠB‚ň—‚·‚éƒA
ƒXƒL[ƒR[ƒh‚É’¼‚³‚È‚¯‚ê‚΂Ȃç‚È‚¢B‚»‚ê‚É‚Í‘g‚Ýž‚ÝŠÖ”get0/1‚ðA‚Ü‚¸Žg‚¤•K—v‚ª‚ ‚éB
?- get0(U).
i“ü—Í‘Ò‚¿‚Ìó‘Ô‚É‚È‚é‚Ì‚Å a ‚Ì•¶Žš‚ð“ü—Í‚µ‚ăŠƒ^[ƒ“ƒL[‚ð‘ł‚Æj
U = 97
ƒXƒeƒbƒv‚RFˆ—ŠÖ”‚É‚Í‚Ç‚ñ‚Ȉø‚«”‚ª•K—v‚©
@•¶Žš‚ªW‚Ü‚Á‚Ä’PŒê‚ðì‚èA’PŒê‚ªW‚Ü‚Á‚ÄA•¶‚ðì‚é‚Æ‚¢‚¤ŠK‘w\‘¢‚ª‚ ‚é‚Ì‚ÅA
get0/1‚É‚æ‚Á‚Ä“Ç‚Ýž‚܂ꂽƒAƒXƒL[ƒR[ƒh‚ð—˜—p‚µ‚ÄŽÀÛ‚É•¶‚ðì‚Á‚Ä‚¢‚ŠÖ”‚É
‚ÍA
‚Pj“Ç‚Ýž‚ñ‚¾ƒAƒXƒL[ƒR[ƒh‚ð“ü—͈ø‚«”‚É‚Æ‚Á‚Ä‹æ•Ê‚·‚ׂ«•¶Žš‚ÌŽí—ނɂ‚¢
‚Ä”»’f‚·‚é‚Æ‚±‚ëA
‚Qj쬒†‚Ì’PŒê‚ð’~‚¦‚é‚Æ‚±‚ëA
‚Rj쬒†‚Ì•¶‚ð’~‚¦‚é‚Æ‚±‚ëA
‚SjÅI“I‚ÉŠ®¬‚µ‚½•¶‚ð•Ô‚·‚Æ‚±‚ë‚ÌŒv‚S‚‚̈ø‚«”‚ª•K—v‚ɂȂ邾‚낤B
ƒXƒeƒbƒv‚SFì‹Æ‚Ì—¬‚ê
It is a pen. ¨ 73 116 32 105 115 32 97 32 112 101 110 46
‰Šúó‘Ô
º°ÄÞ‚ðŽó‚¯ C @73 116 32 105 115 32 97 32 112 101 110 46
Œp‚®‚Æ‚±‚ë
’PŒê‚ðì‚é [] 73 73 [] 105 105 [] 97 [] 112 112 112 []
‚Æ‚±‚ë 116 115 101 101
110
•¶‚ðì‚é [] It It It It It It []
‚Æ‚±‚ë is is is
a
ÅIŒ‹‰Ê‚ð X X X X X X X X X X X X X=[It,is,a,pen]
‹A‚·‚Æ‚±‚ë
‰Šúó‘Ô@@F’PŒê쬃Xƒ^ƒbƒNA•¶ì¬ƒXƒ^ƒbƒN‚Æ‚à‚©‚ç‚Å‚ ‚éB
’Êí‚Ì•¶Žš@F’PŒê쬃Xƒ^ƒbƒN“à‚̃R[ƒhŒQ––‚É‚»‚Ì•¶Žš‚̃R[ƒh‚ð‚‚¯‘«‚·B
‹ó”’(32) F’PŒê쬃Xƒ^ƒbƒN‚Ì’†‚̃R[ƒhŒQ‚ð’PŒêi•¶Žšj‚É•Ï‚¦A•¶ì¬ƒXƒ^ƒbƒN
“à‚Ì’PŒêŒQ‚Ì––‚ɂ‚¯‘«‚·B‚»‚ÌŒ‹‰Ê’PŒê쬃Xƒ^ƒbƒN‚Ì’†‚ÍA‚©‚ç‚É‚È
‚éB@@
ƒsƒŠƒIƒh(46) F’PŒê쬃Xƒ^ƒbƒN‚Ì’†‚̃R[ƒhŒQ‚ð’PŒêi•¶Žšj‚É•Ï‚¦A•¶ì¬ƒXƒ^ƒbƒN
“à‚Ì’PŒêŒQ‚Ì––‚ɂ‚¯‘«‚µ•¶‚ðŠ®¬‚·‚éB‚³‚ç‚ÉA‚»‚ÌŠ®¬‚µ‚½•¶‘S‘Ì‚ð
ÅIŒ‹‰Ê‚ð•Ô‚·‚Æ‚±‚ë‚Ɉڂ·B
%%%%%%%%%%%% •¶“Ç‚Ýž‚݃vƒƒOƒ‰ƒ€iC³–³‚µj %%%%%%%%%%%%%%%
‡Dread_sent(X) :- get0(C),readin(C,[],[],X),!.
‡Ereadin(46,WC,S,X) :- !,
name(W,WC),append(S,[W],X).
‡Freadin(32,WC,S,X) :- !,
name(W,WC),append(S,[W],NS),
get0(NC),readin(NC,[],NS,X).
‡Greadin(13,WC,S,X) :- !,nl,
name(W,WC),append(S,[W],NS),
get0(NC),readin(NC,[],NS,X).
‡Hreadin(C,WC,S,X) :-
append(WC,[C],NWC),
get0(NC),readin(NC,NWC,S,X).
‡Dread_sent/1‚̓gƒbƒvƒŒƒxƒ‹ŠÖ”B‚Ü‚¸get0/1‚ňꕶŽš“Ç‚ñ‚ÅA‚»‚ê‚ðŽÀۂɈ—‚·‚é
ŠÖ”read_in/4‚É‘—‚éB‚È‚¨Aread_in/4‚̈ø‚«”‚ÍA‘O‚©‚çA‚Pj”»’f‚Ì‚½‚ß‚Ì•¶Žš
ƒR[ƒh‚ðŽóŒp‚®‚Æ‚±‚ëA‚Qj’PŒê‚ðì‚é‚Æ‚±‚ëA‚Rj•¶‚ðì‚é‚Æ‚±‚ëA‚SjÅIŒ‹‰Ê‚ð
•Ô‚·‚Æ‚±‚ë‚É‘Š“–‚·‚éB
‡EƒR[ƒh46‚ÍAƒsƒŠƒIƒhB‚µ‚½‚ª‚Á‚ÄA‚»‚ê‚Ü‚Åreadin/3‚Ì‘æ‚Qˆø‚«”‚É’~‚¦‚ç‚ê‚Ä‚¢
‚½ƒR [ƒhƒŠƒXƒg‚ð‘gž‚ÝqŒêname/2‚Å’PŒê‚É•Ï‚¦A‚Å‚«‚½’PŒê‚ð‚»‚ê‚Ü‚Å‘æ‚Rˆø‚«”
‚É’~‚¦‚ç‚ê‚Ä‚¢‚½’PŒêƒŠƒXƒg‚Ì––‚É‘gž‚ÝqŒêappend/3‚ŘAŒ‹‚µ•¶‚ðŠ®¬‚·‚éBŠ®¬‚µ
‚½•¶‚ð‘æ‚Sˆø‚«”‚É•Ô‚µAI—¹‚·‚éB‚±‚ꂪI—¹ðŒB
‡FƒR[ƒh32‚ÍA‹ó”’B‚µ‚½‚ª‚Á‚ÄA‚»‚ê‚Ü‚Åreadin/3‚Ì‘æ‚Qˆø‚«”‚É’~‚¦‚ç‚ê‚Ä‚¢‚½ƒR
[ƒhƒŠƒXƒg‚ð‘gž‚ÝqŒêname/2‚Å’PŒê‚É•Ï‚¦A‚Å‚«‚½’PŒê‚ð‚»‚ê‚Ü‚Å‘æ‚Rˆø‚«”‚É’~
‚¦‚ç‚ê‚Ä‚¢‚½’PŒêƒŠƒXƒg‚Ì––‚É‘gž‚ÝqŒêappend/3‚ŘAŒ‹‚·‚éBƒR[ƒhƒŠƒXƒg‚ð’~‚¦
‚Ä‚¢‚½‘æ‚Qˆø‚«”‚͉Šúó‘Ô‚·‚È‚í‚¿‹óƒŠƒXƒg‚É–ß‚·B‘æ‚Sˆø‚«”‚͕ω»‚µ‚È‚¢B‚±‚Ì
V‚µ‚¢ðŒ‚Ì‚à‚Æ‚ÉÄ“xget0/1‚Å•¶ŽšƒR[ƒhƒŠƒXƒg‚ð“Ç‚ÝAreadin/3‚ðÄ‹A“I‚ÉŒJ‚è
•Ô‚·B
‡GƒR[ƒh13‚͉üsƒL[B‡A‚Æ“¯‚¶ˆ—‚ð‚µA‘gž‚ÝqŒênl/0‚щƒCƒ“ƒtƒB[ƒh‚·‚éB
‡H‚±‚±‚ň—‚·‚é‚Ì‚ÍA‚»‚êˆÈŠO‚Ì“Ç‚Ýž‚Ý•¶Žš‚·‚È‚í‚¿ƒAƒ‹ƒtƒ@ƒxƒbƒg‚Å‚ ‚éB“Ç‚ñ‚¾
•¶Žš‚̃R[ƒh‚ð‘gž‚ÝŠÖ”append/3‚Å‚»‚ê‚Ü‚Å‚É“Ç‚Ü‚ê‚ÄA‘æ‚Qˆø‚«”‚É’~‚¦‚ç‚ꂽƒR
[ƒhƒŠƒX•t‚¯‰Á‚¦‚éB‘æ‚RA‘æ‚Sˆø‚«”‚͕ω»‚µ‚È‚¢B‚±‚ÌV‚µ‚¢ðŒ‚Ì‚à‚Æ‚ÉÄ“x
get0/1‚Å•¶ŽšƒR[ƒhƒŠƒXƒg‚ð“Ç‚ÝAreadin/3‚ðÄ‹A“I‚ÉŒJ‚è•Ô‚·
%%%%%%%%%%%% •¶“Ç‚Ýž‚݃vƒƒOƒ‰ƒ€with s“àC³ %%%%%%%%%%%%%%
‡Dread_sent(X) :- get0(C),readin(C,[],[],X),!.
‡Ereadin(46,WC,S,X) :- !,
name(W,WC),append(S,[W],X).
‡Freadin(32,WC,S,X) :- !,
name(W,WC),append(S,[W],NS),
get0(NC),readin(NC,[],NS,X).
‡Greadin(13,WC,S,X) :- !,nl,
name(W,WC),append(S,[W],NS),
get0(NC),readin(NC,[],NS,X).
‡Ireadin(8,[],S,X) :- !,
put(32),put(8),append(OS,[L],S),name(L,WC),
get0(NC),readin(NC,WC,OS,X).
‡Jreadin(8,WC,S,X) :- !,
put(32),put(8),append(OWC,[_],WC),
get0(NC),readin(NC,OWC,S,X).
‡Hreadin(C,WC,S,X) :-
append(WC,[C],NWC),
get0(NC),readin(NC,NWC,S,X).
‡D|‡H‚Íã‚É“¯‚¶B
‡I‚͇F‚Ìì‹Æ‚Ì‚¿‚傤‚Ç‹t‚ÅA‹ó”’‚ð‘Å‚Á‚Ä‚¢‚Á‚½‚ñ’PŒê‚ªŠ®¬‚µ‚½‚à‚Ì‚ðÄ‚ÑŒ`¬ó‘Ô‚É–ß‚·ì‹Æ‚Å‚ ‚éB
put(32) ‚Æ put(8) ‚Ìì‹Æ‚ÍA‰æ–Êã‚̃J[ƒ\ƒ‹ˆÊ’u‚ðŒ³‚É–ß‚·‚½‚ß‚Ì‚à‚Ì‚Å‚ ‚é’‚PB
‡J‚͇H‚Ìì‹Æ‚Ì‚¿‚傤‚Ç‹t‚Å‚ ‚èA’PŒê‚ðì‚Á‚Ä‚¢‚é“r’†‚Å•¶Žš‚ðˆê‚–߂Á‚ÄÁ‚·ê‡‚Å‚ ‚éB
’‚PFput/1‚ÍAƒAƒXƒL[ƒR[ƒh‚ð“ü‚ê‚é‚Æ‚»‚Ì•¶Žš‚ð‰æ–ʂɑł‘gž‚ÝŠÖ”‚Å‚ ‚éB
i‚Qj‘啶Žš¬•¶Žš‚̈—
ƒˆ[ƒƒbƒpŒ¾Œê‚Ì•\‹L–@‚Å‚ÍŒ´‘¥‚Æ‚µ‚Ä•¶“ª‚͑啶Žš‚ÅŽn‚Ü‚éB‚»‚Ì‚½‚ßA‚½‚Æ‚¦‚ÎIs he a student ? ‚Æ He is a student. ‚Ì“ñ•¶‚ð”äŠr‚µ‚Ä‚í‚©‚é‚悤‚ÉA“¯‚¶’PŒê is ‚Æ he ‚ªˆê•û‚ł͑啶Žš‚ňê•û‚ͬ•¶Žš‚ÅŽn‚Ü‚éŒ`‚ÅŽg‚í‚ê‚邱‚Æ‚ª‚æ‚‹N‚±‚éB‚µ‚©‚µ‹@ŠBã‚Å‚Í•¶Žš‚̓AƒXƒL[ƒR[ƒh‚ň—‚³‚ê‚Ä‚¢‚邽‚ßA‚±‚Ì‚Ü‚Ü‚Å‚Í‚½‚Æ‚¦‚Î is‚ÆIs‚Í“¯‚¶’PŒê‚Å‚ ‚é‚Æ”FŽ¯‚³‚ê‚È‚¢B‚±‚Ì‚½‚ßA‚Ç‚¿‚ç‚©‚É“ˆê‚µ‚Ä‚â‚é•K—v‚ª‚ ‚éBˆê”ÔŠÈ’P‚È‚Ì‚ÍA‚·‚ׂĂ̒PŒê‚𬕶Žš‚Å“o˜^‚µA‘啶Žš‚ÅŽn‚Ü‚éŒê‚ªŒ»‚ꂽꇂÍA‚»‚ê‚𬕶Žš‚É’¼‚·‚±‚Æ‚Å‚ ‚éB‚»‚±‚ÅAƒŠƒXƒg‚Ì—v‘f‚Ì’†‚̑啶Žš‚ÅŽn‚Ü‚é’PŒê‚𬕶Žš‚É’¼‚·ˆÈ‰º‚̂悤‚ÈŠÖ” letter_check/2 ‚ð’è‹`‚µ‚Ă݂悤B
?-letter_chek([*Is*,he,a,student],X).
X=[is,he,a,student]
l‚¦•ûF
‚Ü‚¸ƒŠƒXƒg‚Ì’†‚©‚çʼn‚Ì•¶Žš‚ðŽæ‚èo‚µA‚»‚ê‚ðˆê“xƒAƒXƒL[ƒR[ƒh‚ɂ΂炵‚ÄA‚»‚Ìʼn‚̃R[ƒh‚ª‘啶Žš‚̃R[ƒh‚Å‚ ‚ê‚ÎA‚»‚ê‚𬕶Žš‚̃R[ƒh‚É•ÏŠ·‚µA‚»‚¤‚Å‚È‚¯‚ê‚΂»‚Ì‚Ü‚Ü‚É‚·‚ê‚Ηǂ¢B‚±‚ê‚ðƒŠƒXƒgˆ—‚ÌŽè–@‚ÅAÄ‹A“I‚ÉŒJ‚è•Ô‚¹‚Ηǂ¢BI—¹ðŒ‚ÍAƒŠƒXƒg‚ª‹ó‚É‚È‚Á‚½‚Æ‚«‚Å‚ ‚éB
•¶Žš‚ðƒR[ƒh‚ɂ΂炷F‘gž‚ÝqŒêname/2‚ðŽg‚¤B
?-name(*He*,X).
X=[72,101]
‘啶Žš¬•¶Žš‚Ì•ÏŠ·FƒAƒXƒL[ƒR[ƒh ‚ÍA‘啶Žš‚`|‚yF‚U‚T|‚X‚OA¬•¶Žš‚|‚šF‚X‚V|‚P‚Q‚Q.B‚µ‚½‚ª‚Á‚ÄA‘啶Žš‚̃R[ƒh‚É‚R‚Q‚ð‘«‚¹‚ÎA¬•¶ŽšƒR[ƒh‚É•ÏŠ·‚Å‚«‚éB
ƒŠƒXƒg‚ðÄ‹Aˆ—F“ü—͈ø‚«”‚ð[H|T]‚Æ‚¨‚¢‚ÄAˆê‚Â’Z‚¢‚Ì‚Í‚Å‚«‚½‚ÆŒ©‚È‚·B
%%%%%%%%%%%%% ‘啶Žš‚̬•¶Žš‚Ö‚ÌØ‚è‘Ö‚¦ %%%%%%%%%%%%%%%%
letter_check([H|T],[H1|TR]) :-
name(H,[N|Nn]),
N>=65,N=<90,!,
N1 is N + 32,
name(H1,[N1|Nn]),
letter_check(T,TR).
letter_check([H|T],[H|TR]) :- !,
letter_check(T,TR).
letter_check([],[]) :- !.
i‚Rj’ZkŒ`ˆ—
I*mHe*s You*re“™‚Ì‚¢‚í‚ä‚é’ZkŒ`‚à“ü—͈—‚ÌÛ‚Ì–â‘è“_‚̈ê‚‚ł ‚éBŽ«‘‚É‚ÍAi,you,he,am,are,is “™‚Ì’PŒê‚Í“o˜^‚³‚ê‚Ä‚¢‚邪A’ZkŒ`Ž©‘͈̂ê‚‚̒PŒê‚Å‚àA‚Ü‚µ‚Ä‚â‹å‚È‚Ç‚Ì\¬‘f‚Å‚·‚ç‚È‚¢‚Ì‚ÅAŽ«‘‚É“o˜^‚·‚邱‚Æ‚ÍA‚Å‚«‚È‚¢B‚©‚Æ‚¢‚Á‚ÄA‚»‚ê‚ð‚ЂƂ‚‹K‘¥‰»‚·‚é‚ƔɎG‚ÅA‘債‚ĈӖ¡‚Ì–³‚¢‹K‘¥‚ª‘‚¦‚Ä‚µ‚Ü‚¤B‚»‚±‚ÅA’ZkŒ`‚ÍA•ªÍ‚É“ü‚é‘O‚É‚ ‚ç‚©‚¶‚ß’Zk‚³‚ê‚È‚¢Œ`‚É’¼‚µ‚Ä‚â‚éB‚»‚Ì‚½‚߂ɂ͈ȉº‚̂悤‚ÈŠÖ”Acontraction/2‚ª•K—v‚Æ‚È‚éB
?-contraction([*you**re*, my, friend],X).
X=[you,are, my, friend]
l‚¦•ûF
‚Ü‚¸ƒŠƒXƒg‚Ì’†‚©‚çʼn‚Ì•¶Žš‚ðŽæ‚èo‚µA‚»‚ꂪA’ZkŒ`‚Æ‚µ‚Ä“o˜^‚³‚ê‚Ä‚¢‚é‚©‚Ç‚¤‚©’²‚ׂéB“o˜^‚³‚ê‚Ä‚¢‚ê‚ÎA‚»‚ꂪA‚Ç‚¤•ª‰ð‚³‚ê‚é‚©’²‚×A’ZkŒ`‚ð•ª‰ð‚³‚ê‚½Œ`iˆÈ‰º•ª‰ðŒ`‚ƌĂÔj‚É–ß‚·B‚à‚µ’ZkŒ`‚Å‚È‚¯‚ê‚΂»‚Ì‚Ü‚Ü‚É‚·‚ê‚Ηǂ¢B‚±‚ê‚ðƒŠƒXƒgˆ—‚ÌŽè–@‚ÅAÄ‹A“I‚ÉŒJ‚è•Ô‚¹‚Ηǂ¢BI—¹ðŒ‚ÍAƒŠƒXƒg‚ª‹ó‚É‚È‚Á‚½‚Æ‚«‚Å‚ ‚éB
’ZkŒ`‚Ì“o˜^‚ÌÛ‚É–â‘è‚Æ‚È‚é‚Ì‚ÍA’ZkŒ`‚Æ•ª‰ðŒ`‚ÌŠÔ‚É‚ ‚éŠÖ˜A‚ð‚Ç‚¤‚‚¯‚é‚©‚Å‚ ‚éBˆê‚‚̂â‚è•û‚ÍA‚»‚ꂼ‚ê•ÊX‚ÉA‚µ‚©‚µ“¯‚¶‡˜‚Å“o˜^‚µ‚Ä‚¨‚«A–â‘è‚Æ‚È‚éŒ`‚ªA’ZkŒ`ƒŠƒXƒg‚̉½”Ô–Ú‚É‚ ‚é‚©‚𒲂×A‚»‚Ì“¯‚¶‡”Ô‚ÌŠ‚É“o˜^‚µ‚Ä‚ ‚镪‰ðŒ`‚ðŽæ‚èo‚·‚Æ‚¢‚¤•û–@‚Å‚ ‚éB
‚ ‚é—v‘f‚ªƒŠƒXƒg‚̉½”Ô–Ú‚É‚ ‚é‚©‚𒲂ׂéŠÖ”Fnth_member/3
?-nth_member([a,b,c,d,e,f,g,h,i,j,k,l], X,g).
X=7
ƒŠƒXƒg‚Ìn”Ô–Ú‚É‚ ‚é—v‘f‚ðŽæ‚èo‚·ŠÖ”Fnth_pick_up/3
?-nth_pick_up([a,b,c,d,e,f,g,h,i,j,k,l],7,X).
X=g
%%%%%%%%%%%%%%%% ’ZkŒ`‚̈— %%%%%%%%%%%%%%%%%%%%%
contraction([],[]):-!.
contraction([H|T],[H1,H2|TR]):-
contraction_list1(L1),
nth_member(L1,N,H),!,
contraction_list2(L2),
nth_pick_up(L2,N,[H1,H2]),
contraction(T,TR).
contraction([H|T],[H|TR]):-
contraction(T,TR).
% ’ZkŒ`‚Ì“o˜^i‡”Ô‚É’ˆÓj
contraction_list1(['i''m','i''ve','he''s','you''re','she''s','isn''t',
'aren''t','it''s','i''ll','he''ll','she''ll']).
% ’ZkŒ`‚ð•ª‰ð‚µ‚½‚à‚Ìi‡”Ô‚É’ˆÓj
contraction_list2([[i,am],[i,have],[he,is],[you,are],[she,is],[is,not],
[are,not],[it,is],[i,will],[he,will],[she,will]]).
% ƒŠƒXƒg‚̉½”Ô–Ú‚ÉŠÜ‚Ü‚ê‚Ä‚¢‚é‚©’²‚ׂé
nth_member([H|T],1,H):-!.
nth_member([X|T],N1,H):-!,
nth_member(T,N,H),
N1 is N +1.
% ƒŠƒXƒg‚Ì‚Ž”Ô–Ú‚Ì—v‘f‚ðŽæ‚èo‚·
nth_pick_up([],_,[]).
nth_pick_up([X|T],1,X):-!.
nth_pick_up([_|T],N,X):-!,
N1 is N -1,
nth_pick_up(T,N1,X).
i‚Sj“ü—͈—‚̃gƒbƒvƒŒƒxƒ‹ŠÖ”
ÅŒã‚ɈÈã‚Ì‚R‚‚̊֔‚ð•â•ŠÖ”‚Æ‚µ‚ČĂÑo‚·ƒgƒbƒvƒŒƒxƒ‹ŠÖ”in_put/1‚ð’è‹`‚·‚éB
in_put(X):-
read_sent(S1),
letter_check(S1,S2),
contraction(S2,X).
•¶–¬Ž©—R•¶–@(context free grammar)
—LŒÀ‚Ì‹K‘¥‚ÅAlŠÔ‚Ìi—˜_“I‚É‚Íj–³ŒÀ‚ÌŒ¾Œê¶¬”\—Í‚ðà–¾‚·‚郂ƒfƒ‹‚Ì‘ã•\—á‚Æ‚µ‚Ä‹å\‘¢‹K‘¥‚É‚æ‚Á‚Ä•¶–@‚ð‹Lq‚µ‚悤‚Æ‚·‚é‹å\‘¢•¶–@‚ª‚ ‚éB
‹å\‘¢•¶–@‚É‚ÍA—lX‚È”Šw“I‚È“Á’¥‚ª’m‚ç‚ê‚Ä‚¢‚邪A‚»‚Ì’†‚łඕӂɂ½‚Á‚½ˆê‚‚̔ñI’[‹L†‚ðŽ‚¿‚»‚ê‚ð‰E•Ó‚É“WŠJ‚·‚é‚¢‚í‚ä‚镶–¬Ž©—R•¶–@‚É‚ÍA¶¬‚³‚ꂽ•¶‚ª‚»‚Ì•¶–@‚©‚çì‚ç‚ꂽ‚à‚Ì‚Å‚ ‚é‚©‚Ç‚¤‚©‚ði‚‚܂èA‚»‚Ì•¶‚Ì•¶–@\‘¢‚ðj—LŒÀŽžŠÔ“à‚É”»’f‚·‚éƒAƒ‹ƒSƒŠƒYƒ€‚ª’m‚ç‚ê‚Ä‚¢‚éB‚±‚±‚Å‚ÍA‚½‚Æ‚¦‚ÎA Every boy who reads a book writes a program. “™‚Ì•¶‚ð•ªÍ‚Ü‚½‚Ͷ¬‚·‚邱‚Æ‚Ì‚Å‚«‚é’Pƒ‚È•¶–¬Ž©—R•¶–@‚ðProlog‚Å•\Œ»‚µ‚Ă݂悤B
‚È‚¨AŽg—p‚·‚é—ª†‚̈Ӗ¡‚͈ȉº‚Ì‚Æ‚¨‚è‚Å‚ ‚éB
s:•¶Anp:–¼ŽŒ‹åAvp:“®ŽŒ‹åAoptrel:ƒIƒvƒVƒ‡ƒiƒ‹‚ÈŠÖŒW•¶A
iv:Ž©“®ŽŒAtv:–¼ŽŒ‹å‚ð‚P‚‚µ‚©Žæ‚ç‚È‚¢‘¼“®ŽŒAdtv:–¼ŽŒ‹å‚ð‚Q‚ÂŽæ‚鑼“®ŽŒA
pn:‘ã–¼ŽŒ‚Ü‚½‚͌ŗL–¼ŽŒAn:•’Ê–¼ŽŒArelp:ŠÖŒW‘ã–¼ŽŒAdet:Š¥ŽŒ—Þ
•¶–@‚P
%%% RULES %%%
s --> np,vp. ....................(1)
np --> pn. ....................(2)
np --> det,n,optrel. ....................(3)
vp --> iv. ....................(4)
vp --> tv,np. ....................(5)
vp --> dtv,np,np. ....................(6)
optrel --> relp,vp. ....................(7)
optrel --> []. ....................(8)
%%% LEXICON %%%
pn-->[pochi]. ....................(9)
pn-->[taro]. ....................(10)
pn-->[hanako]. ....................(11)
pn-->[i]. ....................(12)
n-->[book]. ....................(13)
n-->[program]. ....................(14)
n-->[boy]. ....................(15)
n-->[girl]. ....................(16)
det-->[a]. ....................(17)
det-->[every]. ....................(18)
det-->[the]. ....................(19)
iv --> [walks]. ....................(20)
iv --> [walk]. ....................(21)
tv --> [writes]. ....................(22)
tv --> [write]. ....................(23)
tv --> [reads]. ....................(24)
tv --> [read]. ....................(25)
dtv --> [gives]. ....................(26)
dtv --> [give]. ....................(27)
relp --> [that]. ....................(28)
relp --> [who]. ....................(29)
relp --> [which]. ....................(30)
-->‚Æ‚¢‚¤ƒIƒyƒŒ[ƒ^‚Å‘OŒ‚ƌ㌂ð‚‚Ȃ®‚±‚Ì•\‹L‚ÍA‹å\‘¢‹K‘¥‚»‚Ì‚Ü‚Ü•\Œ»‚Å‚«‚é‚Ì‚Å‚í‚©‚è‚â‚·‚¢‚ªAProlog‚̃VƒXƒeƒ€“à•”‚Å‚ÍA’Êí‚ÌProlog‚Ì•\‹L‚É•ÏŠ·‚³‚ê‰ðŽß‚³‚ê‚Ä‚¢‚éB‚½‚Æ‚¦‚΋K‘¥(1) s-->np,vp.‚Í s(A,C):-np(A,B),vp(B,C).‚É•ÏŠ·‚³‚ê‚éB‚È‚¨A‚±‚±‚ÅAŽg‚í‚ê‚Ä‚¢‚é“ñ‚‚̈ø‚«”‚ÍAˆê‚‚̃ŠƒXƒg‚ð‚Q‚‚̕ϔ‚Å•\‚··•ªƒŠƒXƒg‚Å‚ ‚éB‚µ‚½‚ª‚Á‚ÄA‹K‘¥(1)‚ÍAu A-C‚Å•\‚³‚ꂽs‚̘A½‚ÍAA-B‚Å•\‚³‚ꂽnp‚̘A½‚ÆB-C‚Å•\‚³‚ꂽvp‚̘A½‚É‘‚«Š·‚¦‚ç‚ê‚év‚±‚Æ‚ðˆÓ–¡‚µAƒŠƒXƒg‚ð˜AŒ‹‚·‚éappend/3‚Ì‹@”\‚ª‘gž‚Ü‚ê‚Ä‚¢‚éB
ˆÈ‰ºAã‹L‚Ì•¶–@‚ª‚¢‚©‚É‚µ‚ÄEvery boy who reads a book writes a program.‚Æ‚¢‚¤•¶‚𶬂·‚é‚©‚ðŽ¦‚·B‰E’[‚Ì”Žš‚ÍA‘Š·‚¦‚ÌÛ“K—p‚³‚ꂽ‹K‘¥‚̔Ԇ‚Å‚ ‚éB
s --> np,vp.
s --> det,n,optrel,vp. (3)
s --> Every,n,optrel,vp. (18)
s --> Every,boy ,optrel,vp. (15)
s --> Every,boy, relp,vp ,vp. (7)
s --> Every,boy, who,vp ,vp. (29)
s --> Every,boy, who,tv,np ,vp. (5)
s --> Every,boy, who,reads,np ,vp. (24)
s --> Every,boy, who,reads,det,n,optrel ,vp. (3)
s --> Every,boy, who,reads,a,n,optrel ,vp. (17)
s --> Every,boy, who,reads,a,book,optrel ,vp. (13)
s --> Every,boy, who,reads,a,book,[ ],vp. (8)
s --> Every,boy, who,reads,a,book,[ ],tv,np. (5)
s --> Every,boy, who,reads,a,book,[ ],writes,np. (22)
s --> Every,boy, who,reads,a,book,[ ],writes,det,n,optrel (3)
s --> Every,boy, who,reads,a,book,[ ],writes,a,n,optrel (17)
s --> Every,boy, who,reads,a,book,[ ],writes,a,program,optrel (14)
s --> Every,boy, who,reads,a,book,[ ],writes,a,program,[ ]. (8)
‚±‚̗ႪŽ¦‚·‚悤‚ÉA‚±‚Ì•¶–@‚ÍA¶‘¤‘‚«Š·‚¦‚ÅA‚µ‚©‚à[‚³—Dæ’Tõ‚̃gƒbƒvƒ_ƒEƒ“‰ðÍ‚Å‚ ‚éB
\•¶‰ðÍŽ÷‚Ì•\Ž¦
•¶–@‚P‚Ìprogram‚ÍEvery,boy, who,reads,a,book,[ ],writes,a,program,[ ].‚̂悤‚È•¶Žš—ñ‚𕶂Ƃµ‚Ķ¬‚ ‚é‚¢‚Í•ªÍ‚·‚邱‚Æ‚ª‚Å‚«‚½‚ªAŽÀÛ‚É‚ÍA‚»‚ÌŒ‹‰Ê‚¾‚¯‚ªŽ¦‚³‚ê‚邾‚¯‚ÅA‚»‚Ìì‹Æ‰ß’ö‚𖾎¦‚·‚邱‚Æ‚Í‚Å‚«‚È‚¢B‚±‚Ìì‹Æ‰ß’ö‚·‚È‚í‚¿•¶‚Ì\‘¢‚ð•\Ž¦‚·‚éˆø‚«”‚ð‰Á‚¦A•¶–@‚P‚ðŠg’£‚µ‚Ă݂悤B
‚³‚µ‚ ‚½‚èŽæ‚èo‚µ‚½‚¢\‘¢‚ÍA‰º‹L‚̂悤‚È\•¶‰ðÍŽ÷‚Å‚ ‚邪Aƒf[ƒ^‚Æ‚µ‚Ä‚ÍA‚±‚Ì\‘¢Ž÷‚É“™‰¿‚Ì\‘¢ƒŠƒXƒg‚ðì‚邱‚Æ‚É‚·‚éB‚±‚̃ŠƒXƒg‚ÍA“K“–‚È•\Ž¦—pƒvƒƒOƒ‰ƒ€‚Æ•¹—p‚·‚ê‚΂¢‚‚łàŽÀÛ‚Ì\‘¢Ž÷‚É•ÏŠ·‚Å‚«‚éB
\‘¢Ž÷‚PF
S
|----------------|-----------------|
NP VP
|----|---------| |----|-----|
DET N REL TV NP
| | |----|----| | |-----|-----|
every boy that VP writes DET N REL
|----|----| | | |
TV NP a program e
| |----|---|
reads DET N REL
| | |
a book e
ˆê”Ê‚É•”•ª–Ø‚ÍA‚»‚̖؂̃‰ƒxƒ‹‚Å‚ ‚é•êß“_‚Æ‚»‚Ì•êß“_‚ÉŽx”z‚³‚ê‚é‚P‚ˆÈã‚Ì–º‚Ì•”•ª–Ø‚©‚ç‚È‚Á‚Ä‚¢‚éB‚µ‚½‚ª‚Á‚ÄA•êß“_‚ð‘æˆêˆø‚«”‚Æ‚µA–º’B‚Ì\‘¢‚ð‚Q‚–ڈÈ~‚̈ø‚«”‚Æ‚µ‚Ķ‚©‚燂ɂȂç‚ׂ½ƒŠƒXƒg‚É‚æ‚Á‚Ä\‘¢–Ø‚ÌŽ‚Â\‘¢‚ð•\Œ»‚·‚邱‚Æ‚ª‚Å‚«‚éB
\‘¢Ž÷‚P‚̃Cƒ^ƒŠƒbƒN‘Ì‚ÅŽ¦‚³‚ꂽ•”•ª–Ø‚Ì•”•ª‚É’…–Ú‚µA‚±‚Ì•”•ª‚ª‚ǂ̂悤‚È\‘¢ƒŠƒXƒg‚ɑΉž‚µ‚Ä‚¢‚é‚©‚ðŽ¦‚·‚ƈȉº‚̂悤‚É‚È‚éB
VP [vp,A,B]
|----|-----| A=[tv,writes]
TV NP B=[C,D,E]
|-----|-----| ==> C=[det,a]
writes DET N REL D=[n,program
| | | E=[rel,e]
a program e [VP,[TV,writes],[NP,[DET,a],[N,program],[REL,e]]]
‚±‚±‚ő厖‚È‚Ì‚ÍA‚±‚Ì\‘¢ƒŠƒXƒg‚̶¬‚ªA‹K‘¥‚É‚P‘΂P‚ɑΉž‚µ‚Ä‚¢‚邱‚Æ‚Å‚ ‚éBˆê”Ê‚É•iŽŒ‚ð‹ï‘Ì“I‚ÈŒê‚É“WŠJ‚·‚é‹K‘¥ƒÓ--> [word].‚ª“K‰ž‚³‚ê‚é‚Æ‚«‚É“¯Žž‚É[ƒÓ,word]‚Æ‚¢‚¤\‘¢‚ªì‚ç‚ê‚È‚¯‚ê‚΂Ȃç‚È‚¢B‚»‚Ì‚½‚ßAˆê”Ê‚ÉŒêœb€–ڂ𶬂·‚é‹K‘¥ƒÓ--> [word].‚͈ȉº‚̂悤‚ɉü•Ï‚³‚ê‚éB
ƒÓ([ƒÓ,word])--> [word].
‚±‚ê‚ɑ΂µAˆê”Ê‚É•¶–@”Íáe‚¾‚¯‚©‚ç‚È‚é‹K‘¥ƒ¿-->ƒÀ,ƒÁ,ƒÂ...‚ÌꇂÍA‰E•Ó‚Ì€‚Ì‚»‚ꂼ‚ꂪƒÀ(S1),ƒÁ(S2),ƒÂ(S3)...‚̂悤‚É\‘¢‚̈ø‚«”Sn‚ðŽóŒp‚®‚Æ‚·‚é‚ƶ•Ó‚̃¿‚Ì\‘¢‚ÍA[ƒ¿,S1,S2,S3,...]‚Æ‚È‚é‚Ì‚ÅA‹K‘¥ƒ¿-->ƒÀ,ƒÁ,ƒÂ...‚͈ȉº‚̂悤‚ɉü•Ï‚³‚ê‚éB
ƒ¿([ƒ¿,S1,S2,S3,...])--> ƒÀ(S1),ƒÁ(S2),ƒÂ(S3)...
ˆÈ‰º‚Ì•¶–@‚Q‚ÍA•¶–@‚P‚É\‘¢‚̈ø‚«”‚ð•t‚¯‰Á‚¦‚½‚à‚Ì‚Å‚ ‚éB•Ï”‚̑ΉžŠÖŒW‚𒼊´“I‚É•ª‚©‚è‚â‚·‚‚·‚邽‚ß‚±‚±‚Å‚ÍAŠY“–‚·‚é”Íáe‚ð‘啶Žš‰»‚µ‚ÄŽg‚Á‚Ä‚¨‚èA‚Ü‚½ƒ‰ƒxƒ‹‚àˆø—p•„‚‚«‚ő啶Žš‚É‚µ‚Ä‚¢‚éB
•¶–@‚Q
%%% RULES %%%
s([*S*,NP,VP]) --> np(NP),vp(VP). ....................(1)
np([*NP*,PN]) --> pn(PN). ....................(2)
np([*NP*,DET,N,REL]) --> det(DET),n(N),optrel(REL). ....................(3)
vp([*VP*,IV]) --> iv(IV). ....................(4)
vp([*VP,TV,NP]) --> tv(TV),np(NP). ....................(5)
vp([*VP*,DTV,NP1,NP2]) --> dtv(DTV),np(NP1),np(NP2). ....................(6)
optrel([*REL*,RELP,VP]) --> relp(RELP),vp(VP). ....................(7)
optrel([*REL*,[]]) --> []. ....................(8)
%%% LEXICON %%%
pn([*PN*,pochi])-->[pochi]. ....................(9)
pn([*PN*,taro])-->[taro]. ....................(10)
pn([*PN*,hanako])-->[hanako]. ....................(11)
pn([*PN*,i])-->[i]. ....................(12)
n([*N*,book]) -->[book]. ....................(13)
n([*N*,program]) -->[program]. ....................(14)
n([*N*,boy]) -->[boy]. ....................(15)
n([*N*,girl]) -->[girl]. ....................(16)
det([*DET*,a])-->[a]. ....................(17)
det([*DET*,every])-->[every]. ....................(18)
det([*DET*,the])-->[the]. ....................(19)
iv([*IV*,walks]) --> [walks]. ....................(20)
iv([*IV*,walk]) --> [walk]. ....................(21)
tv([*TV*,writes]) --> [writes]. ....................(22)
tv([*TV*,write]) --> [write]. ....................(23)
tv([*TV*,reads]) --> [reads]. ....................(24)
tv([*TV*,read]) --> [read]. ....................(25)
dtv([*DTV*,gives]) --> [gives]. ....................(26)
dtv([*DTV*,give]) --> [give]. ....................(27)
relp([*RELP*,that])--> [that]. ....................(28)
relp([*RELP*,who]) --> [who]. ....................(29)
relp([*RELP*,which]) --> [which]. ....................(30)
•¶–¬Ž©—R•¶–@‚Ì•â‹i•¶–@‘f«{•¶–¬Ž©—R•¶–@j
•¶–@‚Q‚ÍA‰pŒê‚Ì•¶‚𶬂·‚镶–@‚Æ‚µ‚Ä‚ÍA‚Ü‚¾§ŒÀ‚ª—]‚è‚É‚ä‚é‚·‚¬‚éB‚»‚ÌŒ‹‰ÊA‚½‚Æ‚¦‚ÎAˆÈ‰º‚̂悤‚È”ñ•¶–@“I‚È•¶‚ªŽY‚Ýo‚³‚ê‚éB
a) *Every boy read a book.
b) *The girl likes I.
c) *Every boy which reads a book write a program.
‚±‚ê‚ç‚Í‚»‚ꂼ‚êŽåŒê‚Æ“®ŽŒ‚̈ê’viagreementjA‘¼“®ŽŒ‚ÌŠiŽx”zAŠÖŒW‘ã–¼ŽŒ‚ÆæsŽŒ‚̈ê’v‚Ì–â‘è‚Å‚ ‚èA‚»‚ê‚É‚ÍA«E”EŠi‚Ìî•ñ‚â‚ ‚é–¼ŽŒ‚ªhuman“™‚Ì“Á’è‚̈Ӗ¡Žw•W‚ðŽ‚Á‚Ä‚¢‚é‚©‚Ìî•ñ‚ªŠÖŒW‚·‚éB‚±‚ê‚ç‚Ì•¶–@“I‚Èî•ñ‚𕶖¬Ž©—R•¶–@‚É•t‚¯‰Á‚¦AProlog‚̃†ƒjƒtƒBƒP[ƒVƒ‡ƒ“i’Pˆê‰»j‹@”\‚ð—˜—p‚µ‚Ä‚»‚ê‚ç‚Ìî•ñ‚ª‚¨ŒÝ‚¢‚É‹–—e‚µ‚ ‚¤‹K‘¥‚Ì“K—p‚Ì‚Ý‚ð‹–‰Â‚·‚邱‚Æ‚É‚æ‚Á‚ÄA•¶–¬Ž©—R•¶–@‚ð•â‹‚·‚邱‚Æ‚ª‚Å‚«‚éBã‹La)-c)‚Ì•¶‚ð”rœ‚·‚邽‚ß‚É‚³‚µ‚ ‚½‚è•K—v‚È•¶–@‘f«‚ÍAˆÈ‰º‚Ì‚R‚‚ł ‚éB
«iGenderjFmasculine,feminine,neuter
”iNumberjFplural,singluar
ŠiiCasej Fnominative,accusative
lÌ(Person)F1,2,3
‚»‚Ì‘¼ F+human,-human
‚±‚ê‚ç‚Ì‘f«‚ð‚»‚ê‚¼‚êˆÈ‰º‚Ì—ª†‚Å•\‚·‚±‚Æ‚É‚·‚éB
‘g¬€–Ú —ª† ’l
« Gen mas,fem,neu
” Num plur,sing
Ši Case nom,acc
lÌ Pers 1,2,3
lŠÔ Hum +hum,-hum
‚±‚ê‚ç‚Ì‘f«‚Æ‚»‚Ì’l‚Ì“o˜^‚ÌŽd•û‚Å‚ ‚邪A•K—v‚Æ‚³‚ê‚é‘f«‚Ì”‚ª‘‘å‚·‚邱‚ƂɑΉž‚·‚邽‚ßA‚Ü‚¸A“o˜^‘f«‘S‘Ì‚ðƒŠƒXƒg‚ÌŒ`‚ł܂Ƃ߂邱‚Æ‚É‚·‚éBi‚±‚̈ø‚«”‚̇˜‚Í‚¢‚Á‚½‚ñ‚±‚¤‚ÆŒˆ‚ß‚½‚çƒvƒƒOƒ‰ƒ€‘S‘Ì‚Ì’†‚ňêŠÑ‚³‚¹‚Ä‚¨‚©‚È‚¯‚ê‚΂Ȃç‚È‚¢B–Y‚ê‚é‚Æ¢‚é‚̂ŃvƒƒOƒ‰ƒ€ã‚Ƀƒ‚‚µ‚Ä‚¨‚¢‚½‚Ù‚¤‚ª‚¢‚¢B(—áF •¶–@‘f«‚Ì“o˜^‡˜‚Í[«,”,Ši,lÌ,lŠÔ]‚Å‚·)j‚±‚Ì‘f«ƒŠƒXƒg‚ÍA‘æ‚Pˆø‚«”‚Æ‚µ‚Ä’¼Ú“ü—Í‚µ‚Ä‚à—Ç‚¢iŽÀÛ‚»‚Ì•û‚ªŒø—¦‚à—Ç‚¢j‚ªA‚±‚±‚ł̓vƒƒOƒ‰ƒ€‚ðŒ©‚â‚·‚‚·‚邽‚ßA‘æ‚Pˆø‚«”‚É‚ÍGF“™‚Ì•Ï”‚¾‚¯‚ð“ü‚êA‚»‚ÌŽÀÛ‚Ì’l‚ÍA‘Š·‚¦‹K‘¥‚ÌŒã‚É’è‹`‚·‚邱‚Æ‚É‚·‚éB‘Š·‚¦‹K‘¥‚Ì•”•ª‚Æ‹æ•Ê‚·‚邽‚ßA‚±‚Ì•”•ª‚ÍA”¼Šp‚Ì”gŠ‡ŒÊi{}j‚ň͂ÞBˆÈã‚̎臂ඖ@‚Q‚Ì‹K‘¥(12)‚Æ(14)‚ð‘‚«Š·‚¦‚é‚ƈȉº‚̂悤‚É‚È‚éB‚È‚¨A‚±‚±‚Å‚ÍA•s—v‚È•Ï”‚ÍA–³‹L–¼•Ï”i”¼Šp‚̉ºüj‚Ì‚Ü‚Ü‚É‚µ‚Ä‚ ‚éB
pn(GF,[*PN*,i]) --> [i],{ GF=[_,sing,nom,1,+hum]}. ......(12)
n(GF, [*N*,program]) --> [program],{ GF=[n,sing,_,3,-hum]}. ......(14)
‚±‚Ì‘f«ƒŠƒXƒg‚ðŽg‚¦‚Δñ•¶a)-c)‚ª”rœ‚Å‚«‚邱‚Æ‚ðˆÈ‰º‚ÉŽ¦‚·B
s(GF1,[*S*,NP,VP]) --> np(GF1,NP), vp(GF2,VP),
{GF1=[_,Num,nom,Pers,Hum],
GF2=[_,Num,_,Pers,Hum]}. .......(1)
”ñ•¶a)‚Å–â‘è‚Æ‚È‚Á‚½ŽåŒê‚Æ“®ŽŒŠÔ‚Å‚Ì”‚Æl̂̈ê’v‚ÍA‘o•û‚ª“¯‚¶ˆø‚«”Num‚ÆPers‚Æ‚ð‹¤—L‚µ‚ ‚¤‚±‚Æ‚É‚æ‚Á‚Ä•ÛØ‚³‚ê‚éB‚È‚¨AŽåŒê‚ªŽåŠi‚Å‚ ‚邱‚Æ‚Ínp‚Ì‘f«ƒŠƒXƒgGF1‚Ì‘æ‚Rˆø‚«”‚Å‚ ‚énom‚É‚æ‚Á‚ÄŽ¦‚³‚êA“®ŽŒ‚É‚æ‚éŽåŒê‚̈Ӗ¡“I‚È‘I‘ð§ŒÀ‚ÍAHum‚Æ‚¢‚¤ˆø‚«”‚Ì‘f«‚É‚æ‚Á‚ÄŽ¦‚³‚ê‚éB
vp(GF1,[*VP,TV,NP]) --> tv(GF1,TV),np(GF2, NP),
{GF2=[_,_,acc,_,_]}. .......(5)
”ñ•¶b)‚Å–â‘è‚Æ‚È‚Á‚½‘¼“®ŽŒ‚Ì–Ú“IŒê‚ª–Ú“IŠi‚Å‚ ‚邱‚Æ‚ÍA‹K‘¥(5)‚̉E•Ó‚É‚ ‚énp‘f«ƒŠƒXƒgGF2‚Ì‘æ‚Rˆø‚«”acc‚É‚æ‚Á‚ÄŽ¦‚³‚ê‚Ä‚¢‚éB‘¼“®ŽŒ‚Ì‘f«‚Í‚»‚Ì‚Ü‚Ü“®ŽŒ‹å‚ÉŽóŒp‚ª‚ê‚éB
optrel(GF1, [*REL*,RELP,VP]) --> relp(GF2, RELP), vp(GF3, VP),
{GF1=[_,Num,_,3,Hum],
GF2=[_,Num,nom,3,Hum],
GF3=[_,Num,_,3,Hum]}. ..........(7)
”ñ•¶c)‚Å–â‘è‚Æ‚È‚Á‚½ŠÖŒW‘ã–¼ŽŒ‚̈Ӗ¡“I‚È‘I‘ð§ŒÀ‚ÍA‹K‘¥i7j‚Ì‘f«ƒŠƒXƒg‚Ì‘æ‚Sˆø‚«”Hum‚̈ê’v‚É‚æ‚Á‚ÄŽ¦‚³‚ê‚éB‚È‚¨AŽåŠiŠÖŒW‘ã–¼ŽŒ‚Æ“®ŽŒ‹å‚ÌŠÔ‚É‚ÍAŽåŒêE“®ŽŒŠÔ‚Æ“¯‚¶ˆê’v‚ª•K—v‚Æ‚È‚éBŠÖŒW‘ã–¼ŽŒ‚Ì‘f«‚ÍA‚»‚Ì‚Ü‚ÜŠÖŒW•¶‚Ì‘f«‚ÉŽóŒp‚ª‚ê‚éB
‚±‚ê‚ç‚Ì‘f«‚ð•t‚¯‰Á‚¦‚ÄA•¶–@‚Q‚ð•â‹‚µ‚½‚à‚Ì‚ª•¶–@‚R‚Å‚ ‚éB
•¶–@‚R
%%% RULES %%%
s(GF1,[*S*,NP,VP]) --> np(GF1,NP), vp(GF2,VP),
{GF1=[_,Num,nom,Pers,Hum],
GF2=[_,Num,_,Pers,Hum]}. ........(1)
np(GF,[*NP*,PN]) --> pn(GF,N). ........(2)
np(GF,[*NP*,DET,N,REL]) -->
det(GF,DET),n(GF,N),optrel(GF,REL). ........(3)
vp(GF,[*VP*,IV]) --> iv(GF,IV). ........(4)
vp(GF1,[*VP,TV,NP]) --> tv(GF1,TV),np(GF2, NP),
{GF2=[_,_,acc,_,_]}. ........(5)
vp(GF1,[*VP*,DTV,NP1,NP2]) -->
dtv(GF1,DTV),np(GF2,NP1),np(GF3,NP2),
{GF2=[_,_,acc,_,_],GF3=[_,_,acc,_,_]}. ........(6)
optrel(GF1, [*REL*,RELP,VP]) --> relp(GF2, RELP), vp(GF3, VP),
{GF1=[_,Num,_,3,Hum],
GF2=[_,Num,nom,3,Hum],
GF3=[_,Num,_,3,Hum]}. ........(7)
optrel(GF,[*REL*,[]]) --> []. ........(8)
%%% LEXICON %%%
pn(GF,[*PN*,pochi])-->[pochi], { GF=[n,sing,_,3,-hum]}. ........(9)
pn(GF,[*PN*,taro])-->[taro] ,{ GF=[m,sing,_,3,+hum]}. ........(10)
pn(GF,[*PN*,hanako])-->[hanako], { GF=[f,sing,_,3,+hum]}. .........(11)
pn(GF,[*PN*,i]) --> [i],{ GF=[_,sing,nom,1,+hum]}. .........(12)
n(GF, [*N*,book]) --> [book],{ GF=[n,sing,_,3,-hum]}. ........(13)
n(GF, [*N*,program]) --> [program],{ GF=[n,sing,_,3,-hum]}. .......(14)
n(GF, [*N*,boy]) --> [boy],{ GF=[m,sing,_,3,+hum]}. .......(15)
n(GF, [*N*,girl]) --> [girl],{ GF=[f,sing,_,3,+hum]}. .......(16)
det(GF,[*DET*,a])-->[a], { GF=[_,sing,_,3,_]}. .......(17)
det(GF,[*DET*,every])-->[every], { GF=[_,_,_,3,_]}. .......(18)
det(GF,[*DET*,the])-->[the], { GF=[_,_,_,3,_]}. .......(19)
iv(GF,[*IV*,walks]) --> [walks] , { GF=[_,sing,_,3,_]}. .......(20)
iv(GF,[*IV*,walk]) --> [walk],
{ GF=[_,Num,_,Pers,_],not_sg3(GF)}. .......(21)
tv(GF,[*TV*,writes]) --> [writes] , { GF=[_,sing,_,3,_]}. .......(22)
tv(GF,[*TV*,write]) --> [write],
{ GF=[_,Num,_,Pers,_],not_sg3(GF)}. .......(23)
tv(GF,[*TV*,reads]) --> [reads] , { GF=[_,sing,_,3,_]}. .......(24)
tv(GF,[*TV*,read]) --> [read],
{ GF=[_,Num,_,Pers,_],not_sg3(GF)}. ......(25)
dtv(GF,[*DTV*,gives]) --> [gives] , { GF=[_,sing,_,3,_]}. ......(26)
dtv(GF,[*DTV*,give]) --> [give],
{ GF=[_,Num,_,Pers,_],not_sg3(GF)}. ......(27)
relp(GF,[*RELP*,that])--> [that], { GF=[_,_,_,3,_]}. ......(28)
relp(GF,[*RELP*,who]) --> [who], { GF=[_,_,_,3,+hum]}. ......(29)
relp(GF,[*RELP*,which]) --> [which], { GF=[_,_,_,3,-hum]}. ......(30)
% ‚RlÌ’P”‚Å‚Í‚È‚¢‚±‚Æ‚ÌŠm”F
not_sg3([_,sing,_,1|_]). % ‚PlÌ’P”
not_sg3([_,sing,_,2|_]). % ‚QlÌ’P”
not_sg3([_,plur|_]). % •¡”
Ž«‘‚Ì‹Lq‚ðŠÈ—ª‰»‚·‚éŽè–@
•¶–@‚R‚ÌŽ«‘€–Ú‚Ì‹Lq‚ðŒ©‚é‚ÆA“¯‚¶•iŽŒ‚ÉŠÖ‚µ‚ÄŒ¾‚¦‚ÎA‚‚è•Ô‚µ‚ª‘½‚¢B‚½‚Æ‚¦‚ÎA•’Ê–¼ŽŒbook‚Æboy‚ÌŽ«‘î•ñ‚Å‚ ‚é‹K‘¥(13)‚Æ(15)‚Å‚ÍA‰ºü•”ˆÈŠO‚ÍA‚·‚ׂē¯‚¶î•ñ‚Å‚ ‚éB
n(GF, [*N*,book]) --> [book],{ GF=[n,sing,_,3,-hum]}. ........(13)
n(GF, [*N*,boy]) --> [boy],{ GF=[m,sing,_,3,+hum]}. .......(15)
‚±‚±‚Å‚ÍA‚±‚¤‚µ‚½Ž«‘€–Ú‚Ìç’·«‚ð‰ü‘P‚µAŽ«‘€–Ú‚Ì‹Lq‚ðŠÈ—ª‰»‚·‚é•û–@‚ɂ‚¢‚Äl‚¦‚éBŽ«‘‚É’PŒê‚ð“o˜^‚·‚éÛ•K—v‚Æ‚È‚é‚Ì‚ÍA“o˜^’PŒê‚ÌŒêŒ`‚¨‚æ‚Ñ‚»‚Ì’PŒê‚ÌŽ‚•¶–@‘f«‚Å‚ ‚éB
•¶–@‘f«ƒŠƒXƒg‚̃pƒ^[ƒ“‰»‚ÆŽQƔԆ‚Ì•t—^
‚Ü‚¸•¶–@‘f«‚ɂ‚¢‚Ä‚Å‚ ‚邪A‚»‚Ì‘½‚‚Í’PŒê‚Ì•iŽŒ‚ªŒˆ‚܂邱‚Æ‚É‚æ‚Á‚ÄŽ©“®“I‚ÉŒˆ‚Ü‚èA‘S‘Ì‚Æ‚µ‚Ä‚àˆê’è‚̃pƒ^[ƒ“‚É”[‚Ü‚é‚Ì‚ª•’Ê‚Å‚ ‚éB‚½‚Æ‚¦‚ÎA•’Ê–¼ŽŒ‚Ìê‡Case‚ª–¢’è‚Å‚ ‚邱‚Æ‚¨‚æ‚ÑPerson‚ª3‚Å‚ ‚邱‚Æ‚ÍA•iŽŒ‚©‚玩“®“I‚É‚í‚©‚éB–â‘è‚É‚È‚é‚Ì‚ÍANumber‚ÆGender‚ÆHuman‚ɂ‚¢‚Ä‚Ìî•ñ‚¾‚¯‚Å‚ ‚éB‚µ‚½‚ª‚Á‚ÄA‚±‚Ì•”•ª‚̉”\‚È‘g‚݇‚킹‚©‚ç•K—v‚Æ‚È‚é•’Ê–¼ŽŒ‚Ì•¶–@‘f«‚̃pƒ^[ƒ“‚ð‚ ‚ç‚©‚¶‚ßAˆÈ‰º‚Ìfeature/2‚̂悤‚ÈŠÖ”–¼‚Å“o˜^‚µ‚Ä‚¨‚¯‚ÎA‚»‚̂ǂ̃pƒ^[ƒ“‚É‚È‚é‚©‚Æ‚¢‚¤î•ñ‚¾‚¯‚ðŽ«‘“o˜^‚ÌÛ‚É—^‚¦‚Ä‚â‚邾‚¯‚ÅA•K—v‚È•¶–@‘f«ƒŠƒXƒg‚ðŽæ‚èo‚·‚±‚Æ‚ª‚Å‚«‚éB
%%% •’Ê–¼ŽŒ‚Ì‘f«ƒpƒ^[ƒ“
feature(1,[[n,sing,_,3,-hum],[_,plur,_,3,-hum]]). % —áFbook,books
feature(2,[[m,sing,_,3,+hum],[_,plur,_,3,+hum]]). % —áFboy,boys
feature(3,[[f,sing,_,3,+hum],[_,plur,_,3,+hum]]). % —áFgirl,girls
feature(4,[[_,sing,_,3,+hum],[_,plur,_,3,+hum]]). % —áFchild,children
‚±‚±‚ÅAfeature/2‚Ì‘æ‚Pˆø‚«”‚ÍA‘f«ƒpƒ^[ƒ“‚ɃAƒNƒZƒX‚·‚邽‚ß‚Ì®—”Ô†‚Å‚ ‚èA‘æ‚Qˆø‚«”‚̃ŠƒXƒg‚É‚Í‚»‚ꂼ‚êA’P”Œ`‚Æ•¡”Œ`‚Ì‘f«‚ª“ü‚Á‚Ä‚¢‚éB’PŒê“o˜^‚ÌÛ‚É’P”Œ`‚Æ•¡”Œ`‚ðˆê‚É“o˜^‚·‚é‚Ù‚¤‚ªA“s‡—Ç‚¢‚Ì‚ÅA‘f«ƒŠƒXƒgfeature/2‚Å‚àˆê‚‚̊֔‚Å’P”Œ`‚Æ•¡”Œ`‚Ì—¼•û‚Ì‘f«‚ɃAƒNƒZƒX‚Å‚«‚é‚悤‚É‚µ‚Ä‚ ‚éB
‚QjPreterminal Rule‚ÆLexicon‚Ì•ª—£
‘f«ƒpƒ^[ƒ“‚Ì•ª—£“o˜^‚É‚æ‚Á‚ÄAŽÀÛ‚ÉŽ«‘‚É“o˜^‚·‚é•’Ê–¼ŽŒ‚̃f[ƒ^‚͈ȉº‚̂悤‚É‚È‚éB“o˜^€–Ú‚ÍA“o˜^’PŒê‚ÌŒêŒ`‚»‚Ì‚à‚Ì‚Æ‚»‚Ì’PŒê‚Ì•¶–@‘f«ƒŠƒXƒg‚ðŽQÆ‚·‚邽‚߂̔Ԇ‚ÉŒÀ‚ç‚ê‚éB
% •’Ê–¼ŽŒ‚ÌŽ«‘ƒf[ƒ^
n([book,books],1).
n([program,programs],1).
n([boy,boys],2).
n([girl,girls],3).
n([child,children],4).
Ž«‘‚̃XƒŠƒ€‰»‚ÌÅŒã‚̃Xƒeƒbƒv‚ÍA‚±‚Ìî•ñ‚©‚çA‹K‘¥(13)‚â(15)‚Æ“¯‚¶‚悤‚ÈŽ«‘ƒŒƒxƒ‹‚Ì‘Š·‚¦‹K‘¥‚ð‚ǂ̂悤‚É‚µ‚Äì‚é‚©‚Æ‚¢‚¤‚±‚Æ‚Å‚ ‚éB‚³‚«‚قljºü‚ÅŽ¦‚µ‚½‚悤‚ÉA‚±‚ê‚玫‘ƒŒƒxƒ‹‚Ì‹K‘¥‚Å‚ÍA“o˜^’PŒê‚Ì•”•ª‚Æ•¶–@‘f«‚Ì•”•ª‚ð‚»‚ê‚¼‚ê•Ï”‚Å’u‚«Š·‚¦‚Ä‚â‚ê‚ÎA‹K‘¥Ž©‘Ì‚ðˆê”ʉ»‚·‚邱‚Æ‚ª‰Â”\‚Å‚ ‚éBŒ¾‚¢Š·‚¦‚é‚ÆA‚½‚Æ‚¦‚ÎA‹K‘¥(13)‚É‚ÍA‚PjŒêŒ`(Word)‚ªbook‚Å‚ ‚蕶–@‘f«(GF)‚ª[n,sing,_,3,-hum]‚Å‚ ‚é‚Æ‚¢‚¤î•ñ‚Ì‘¼‚ÉA‚Qj‚»‚ê‚ç‚Ìî•ñ‚ªAn(GF, [*N*,Word]) --> [Word],{ ........ }.‚Æ‚¢‚¤ˆê”ÊŒ`‚Å•\Œ»‚³‚ê‚éðŒ‚ð–ž‚½‚³‚È‚¯‚ê‚΂¢‚¯‚È‚¢‚Æ‚¢‚¤î•ñ‚ðŠÜ‚ñ‚Å‚¢‚é B‚±‚±‚Å‚±‚ÌŒãŽÒ‚Ìî•ñ‚ðŒÂX‚ÌŽ«‘ƒŒƒxƒ‹î•ñ‚©‚çØ‚è—£‚µA Preterminal Rule‚Æ‚µ‚Ä“Æ—§‚³‚¹‚Ä‚â‚ê‚ÎAŽ«‘ƒŒƒxƒ‹‚Å‘Š·‹K‘¥‚ðŒJ‚è•Ô‚·•K—v‚Í‚È‚‚È‚éBˆÈ‰º‚ÍA•’Ê–¼ŽŒ‚ÌPreterminal Rule‚Ì—á‚Å‚ ‚éB‚Í‚¶‚ß‚Ì‹K‘¥‚ª’P”Œ`A‚Q‚–ڂª•¡”Œ`‚Ì’PŒê‚Ì•ªÍE¶¬‚É•K—v‚Æ‚È‚éB
n(GF,['N',Word])-->[Word], {n([Word,_],N),feature(N,[GF,_])}.
n(GF,['N',Word])-->[Word], {n([_,Word],N),feature(N,[_,GF])}.
ˆÈã‚ÌŒ´‘¥‚Ì–{‚ÉA•¶–@‚R‚ÌŽ«‘•”•ª‚ð‰ü‘P‚µ‚½‚à‚Ì‚ªAˆÈ‰º‚Ì•¶–@‚S‚Å‚ ‚éBi“o˜^’PŒê”‚͎኱‘‚¦‚Ä‚¢‚éjB
•¶–@‚Si•”•ªj
%%%%%%%%%% PRETERMINAL RULE & LEXIKON %%%%%%%%%%
%%% ‘f«ƒpƒ^[ƒ“‚Ì“o˜^
% •’Ê–¼ŽŒ•ŒÅ—L–¼ŽŒ
feature(1,[[n,sing,_,3,-hum],[_,plur,_,3,-hum]]). % —áFbook,books
feature(2,[[m,sing,_,3,+hum],[_,plur,_,3,+hum]]). % —áFboy,boys
feature(3,[[f,sing,_,3,+hum],[_,plur,_,3,+hum]]). % —áFgirl,girls
feature(4,[[_,sing,_,3,+hum],[_,plur,_,3,+hum]]). % —áFchild,children
% lÌ‘ã–¼ŽŒ
feature(5,[[n,sing,nom,3,-hum],[_,plur,nom,3,-hum]]). % —áFit,they
feature(6,[[n,sing,acc,3,-hum],[_,plur,acc,3,-hum]]). % —áFit,them
feature(7,[[m,sing,nom,3,+hum],[_,plur,nom,3,+hum]]). % —áFhe,they
feature(8,[[m,sing,acc,3,+hum],[_,plur,acc,3,+hum]]). % —áFhim,them
feature(9,[[f,sing,nom,3,+hum],[_,plur,nom,3,+hum]]). % —áFshe,they
feature(10,[[f,sing,acc,3,+hum],[_,plur,acc,3,+hum]]). % —áFher,them
feature(11,[[_,sing,_,2,_],[_,plur,_,2,_]]). % —áFyou,you
feature(12,[[_,sing,nom,1,+hum],[_,plur,nom,1,+hum]]). % —áFI,we
feature(13,[[_,sing,acc,1,+hum],[_,plur,acc,1,+hum]]). % —áFme,us
% Š¥ŽŒ•Š—LŠi•ŠÖ‘ã
feature(14,[_,sing,_,3,_]). % —áFa,every
feature(15,[_,_,_,3,_]). % —áFthe,my,that
feature(16,[_,_,_,3,+hum]). % —áFwho
feature(17,[_,_,_,3,-hum]). % —áFwhich
feature(18,[_,_,acc,3,+hum]). % —áFwhom
% “®ŽŒ
feature(19,[[_,sing,_,3,+hum],[_,Num,_,Pers,+hum]]). % —áFreads,read
feature(20,[[_,sing,_,3,_],[_,Num,_,Pers,_]]). % —áFwalks,walk
%%% PRETERMINAL RULE & LEXIKON %%%
% ‘ã–¼ŽŒ•ŒÅ—L–¼ŽŒ
pn(GF,['PN',Word])-->[Word], {pn([Word,_],N),feature(N,[GF,_])}.
pn(GF,['PN',Word])-->[Word], {pn([_,Word],N),feature(N,[_,GF])}.
pn([japan,'-'],1).
pn([pochi,'-'],1).
pn([taro,'-'],2).
pn([hanako,'-'],3).
pn([it,they],5).
pn([it,them],6).
pn([he,they],7).
pn([him,them],8).
pn([she,'-'],9). % she ‚Ì plŒ` they ‚Í he ‚Ì pl Œ`‚Æ“¯‚¶B“o˜^•s—v
pn([her,'-'],10). % her ‚Ì plŒ` them ‚Í him ‚Ì pl Œ`‚Æ“¯‚¶B“o˜^•s—v
pn([you,you],11).
pn([i,we],12).
pn([me,us],13).
% •’Ê–¼ŽŒ
n(GF,['N',Word])-->[Word], {n([Word,_],N),feature(N,[GF,_])}.
n(GF,['N',Word])-->[Word], {n([_,Word],N),feature(N,[_,GF])}.
n([book,books],1).
n([pen,pens],1).
n([dog,dogs],1).
n([program,programs],1).
n([boy,boys],2).
n([girl,girls],3).
n([child,children],4).
n([parent,parents],4).
% Š¥ŽŒ•Š—LŠi
det(GF,['DET',Word])-->[Word], {det(Word,N),feature(N,GF)}.
det(a,14).
det(every,14).
det(the,15).
det(my,15).
det(you,15).
det(her,15).
det(his,15).
det(its,15).
det(their,15).
det(our,15).
% Ž©“®ŽŒ
iv(GF,['IV',Word]) --> [Word] , {iv([Word,_],N),feature(N,[GF,_])}.
iv(GF,['IV',Word]) --> [Word] , {iv([_,Word],N),feature(N,[_,GF]),not_sg3(GF)}.
iv([walks,walk],20).
iv([sleeps,sleep],20).
% –Ú“IŒê‚ð‚P‚ÂŽæ‚鑼“®ŽŒ
tv(GF,['TV',Word]) --> [Word] , {tv([Word,_],N),feature(N,[GF,_])}.
tv(GF,['TV',Word])--> [Word] , {tv([_,Word],N),feature(N,[_,GF]),not_sg3(GF)}.
tv([likes,like],20).
tv([reads,read],19).
tv([writes,write],19).
% –Ú“IŒê‚ð‚Q‚ÂŽæ‚鑼“®ŽŒ
dtv(GF,['DTV',Word]) --> [Word] , {dtv([Word,_],N),feature(N,[GF,_])}.
dtv(GF,['DTV',Word])-->[Word] ,
{dtv([_,Word],N),feature(N,[_,GF]),not_sg3(GF)}.
dtv([gives,give],20).
dtv([sends,send],20).
% ŠÖŒW‘ã–¼ŽŒ
relp(GF,['RELP',Word])--> [Word], {relp(Word,N),feature(N,GF)}.
relp(that,15).
relp(who,16).
relp(which,17).
relp(whom,18).
‚RjˆÓ–¡‘f«‚̈µ‚¢
•¶–@‚R‚╶–@‚S‚Å‚ÍÈ—ª‚µ‚½‚ªA‘f«HumanilŠÔ‚Å‚ ‚邱‚Æ‚ðŽ¦‚·j‚Ì’l‚ð’Pƒ‚É+hum,-hum‚Æ‚·‚é‚Ì‚É‚ÍAŽáŠ±‚Ì–â‘肪‚ ‚éB‚Æ‚¢‚¤‚Ì‚ÍA‚±‚±‚Å‚ÍA‚±‚Ì‘f«‚ÍAŠÖŒW‘ã–¼ŽŒ‚Ìwho‚Æwhich‚ÌŽg‚¢•ª‚¯‚ðŽ¦‚·ƒˆ‚È•¶–@‘f«‚Æ‚µ‚ÄŽg‚Á‚Ä‚¢‚邾‚¯‚Å‚È‚B‚½‚Æ‚¦‚ÎA•¶–@‚R‚Ì‹K‘¥(1)‚ł̂悤‚ÉA“®ŽŒ‚Ì‘I‘ð§ŒÀ‘f«i‚·‚È‚í‚¿ˆÓ–¡‘f«j‚Æ‚µ‚Ä‚àŽg‚Á‚Ä‚¢‚é‚©‚ç‚Å‚ ‚éBˆÓ–¡‘f«‚Æ‚¢‚¤ŠÏ“_‚©‚ç‚ÍA}‚É‚æ‚é’Pƒ‚È‚Q’l‘f«‚Å‚Í‚È‚A‚½‚Æ‚¦‚ÎAread,write‚̂悤‚È‚“x‚È’m“IŠˆ“®‚ð‘O’ñ‚É‚·‚é“®ŽŒ‚âAlike,go‚̂悤‚ÉAŽå‘Ì‚ª¶–½‘Ì‚Å‚ ‚邱‚Æ‚ð‘O’ñ‚É‚·‚é“®ŽŒ‚âAfall,fly‚̂悤‚É‹ï‘Ε¨‚ðŽåŒê‚Æ‚µ‚Ä—v‹‚·‚é“®ŽŒ“™‚ðl—¶‚µhuman,animate,concrete“™‚Ì’iŠK“I‚Å“à•ïŠÖŒW‚É‚ ‚é‘f«‚ª•K—v‚Æ‚È‚éBiŽžŠÔ‚ÌŠÖŒW‚Å‚±‚±‚Å‚Í–â‘è“_‚ðŽw“E‚·‚邾‚¯‚É—¯‚ß‚éBj
‚Sj“o˜^’PŒê‚̈ꗗ•\Ž¦
“o˜^’PŒê”‚ª‘‚¦‚é‚É‚µ‚½‚ª‚¢A“o˜^’PŒê‚ªˆê–Ú‚Å‚í‚©‚é‚悤‚ȃŠƒXƒgƒAƒbƒv‚ÌqŒê‚ª‚ ‚é‚Æ•Ö—˜‚Å‚ ‚éBˆÈ‰º‚Ìlist_up_words/0‚ÍA‘gž‚ÝqŒê‚Ìwrite‚Æfail‚ðŽg‚Á‚½Afail loop ‚É‚æ‚èAn/2,pn/2,iv/2,tv/2,dtv/2,det/2,relp/2‚Ì’l‚ª‚ ‚éŒÀ‚èA‚·‚ׂĂ̑æ‚Pˆø‚«”‚È‚¢‚µ‚Í‚»‚̈ꕔ‚ð‰æ–Êã‚É•\Ž¦‚µ‚Ä‚¢‚BÅŒã‚ÌŠÖ”‚ÍA‚±‚ÌŠÖ”‚ðyes‚ÅI—¹‚³‚¹‚邽‚ß‚Ì‚à‚Ì‚Å‚ ‚éB
%%% “o˜^’PŒê‚̈ꗗ•\Ž¦ %%%
list_up_words:- nl,
write('%%% Žå—v“o˜^’PŒêˆê —— *),nl,nl,
write(' *** •’Ê–¼ŽŒ:'), n([Noun,_],_),write(Noun),write(','),fail.
list_up_words:- nl,
write(' *** ŒÅ—L–¼ŽŒ•‘ã–¼ŽŒ:'),
pn([PN1,PN2],_),write_data(PN1),write_data(PN2),fail.
write_data('-'):-!.
write_data(DATA):-write(DATA),write(',').
list_up_words:- nl,
write(' *** Ž©“®ŽŒ:'), iv([_,Verb],_),write(Verb),write(','),fail.
list_up_words:- nl,
write(' *** ‘¼“®ŽŒ:'),tv([_,Verb],_),write(Verb),write(','),fail.
list_up_words:-
dtv([_,Verb],_),write(Verb),write(','),fail.
list_up_words:- nl,
write(' *** Š¥ŽŒ•Š—LŠi:'), det(Det,_),write(Det),write(','),fail.
list_up_words:- nl,
write(' *** ŠÖŒW‘ã–¼ŽŒ:'), relp(Rel,_),write(Rel),write(','),fail.
list_up_words.
•“®ŽŒ‚Ì“±“ü
1)“®ŽŒŒ`‘Ô‚ÉŠÖ‚·‚é‘f«
‰pŒê‚Ì•¶‚É‚Í•“®ŽŒ‚ðŽg‚Á‚½‚à‚Ì‚ª‘½‚¢B“Á‚É‹^–╶‚â”ے蕶‚È‚Ç‚Å‚ÍA do‚È‚Ç‚Ì•“®ŽŒ(auxiliary)‚ª•K—v‚Æ‚È‚éB‚±‚±‚Å‚ÍAˆÈ‰º‚̂悤‚È•“®ŽŒ‚ðŠÜ‚ñ‚¾•¶‚ðŽó‚¯•t‚¯‚é‚悤‚É•¶–@‚S‚ðŠg’£‚·‚邱‚Æ‚ðl‚¦‚éB
a)The boy must have read the book.
b)He was writing the program.
c)I*ll give you the book.
•“®ŽŒ‚É‚¨‚¢‚ÄA‚Ü‚¸–â‘è‚Æ‚È‚é‚Ì‚ÍA•“®ŽŒ‚ªAˆê’è‚ÌŽž§‚âŒ`‘ÔiˆÈŒã‚±‚ê‚ç‚ð‘Ì‚µ‚Ä“®ŽŒŒ`‘ԂƌĂÔj‚ðŽ‚Á‚½“®ŽŒ‚ð—v‹‚·‚邱‚Æ‚Å‚ ‚éB‚½‚Æ‚¦‚ÎAisŒ`‚ðì‚é•“®ŽŒbe‚Í“®ŽŒ‚ÌŒ»Ý•ªŽŒi‚¢‚í‚ä‚éingŒ`j‚ð—v‹‚·‚é‚̂ɑ΂µAŠ®—¹Œ`‚ðì‚é•“®ŽŒhave‚͉ߋŽ•ªŽŒ‚ð•K—v‚Æ‚·‚éB‚Ü‚½can,will“™‚Ì—l‘Š‚Ì•“®ŽŒimodal auxiliaryj‚Í“®ŽŒ‚ÌŒ´Œ`‚ð—v‹‚·‚éB‚µ‚©‚à‚±‚ê‚ç‚Ì•“®ŽŒŽ©‘Ì‚ªA‚Ü‚½A“Á’è‚Ì“®ŽŒŒ`‘Ԃ⊈—pŒ`‚ðŽ‚¿Aã‹L‚̗ᕶa)‚Ìhave‚̂悤‚É•Ê‚Ì•“®ŽŒ‚Ì’†‚É–„‚ß‚±‚Ü‚ê‚éê‡‚à‚ ‚éB‚½‚¾‚µA‚RlÌ’P”Œ`‚Å‚ ‚é“™‚ÌŠˆ—pŒ`‚ÉŠÖ‚·‚éî•ñ‚Í‚·‚Å‚Él̂│Ɋւ·‚é‘f«‚É‚æ‚Á‚Ä‹æ•Ê‚Å‚«‚é ‚Ì‚ÅA‚±‚±‚ÅV‚½‚É“±“ü‚·‚é•K—v‚ª‚ ‚é‚Ì‚ÍA“®ŽŒŒ`‘Ô‚ÉŠÖ‚·‚é‘f«‚ÉŒÀ‚ç‚ê‚éB
‚È‚¨A‰º‚Ì•\‚ÅA—ª†‚Å•\‚³‚ê‚Ä‚¢‚é’l‚ÍA‚»‚ꂼ‚ꌻÝ(present tense)A‰ß‹Ž(past tense)A‰ß‹Ž•ªŽŒ(past participle) AŒ»Ý•ªŽŒ(present participle)‚¨‚æ‚ÑŒ´Œ`(infinitive)‚Ì‚T‚‚ł ‚éB
‘f«€–Ú —ª† ’l
“®ŽŒŒ`‘Ô VFORM pres,past,pp,ppr,inf
“®ŽŒ‚Ìꇓ®ŽŒŒ`‘Ô‚ÉŠÖ‚·‚é‘f«‚Í‚±‚ꂾ‚¯‚Å—Ç‚¢‚ªA–â‘è‚ÍA•“®ŽŒ‚Å‚ ‚éB‚Æ‚¢‚¤‚Ì‚ÍAŠù‚Éq‚ׂ½‚悤‚ÉA•“®ŽŒ‚Ìꇂǂ̂悤‚È“®ŽŒŒ`‘Ô‚ð—v‹‚·‚é‚©‚Æ‚¢‚¤î•ñ‚ÆAŽ©‚炪‚ǂ̂悤‚È“®ŽŒŒ`‘Ô‚Å‚ ‚é‚©‚Æ‚¢‚¤î•ñ‚Ì‚Q‚‚ðˆê‚‚̑f«‚Å•\‚·•K—v‚ª‚ ‚é‚©‚ç‚Å‚ ‚éB‚±‚¤‚µ‚½‚Qd‚ÌŠÖŒW‚ð•\Œ»‚·‚邽‚ß‚É”Šw‚Ì朌vŽZ‚̈ê”ÊŽ®i—áFa=a/b¥bj‚É‚È‚¼‚炦‚½•\Œ»‚ª‚æ‚—˜—p‚³‚ê‚éB‚±‚Ì•ûŽ®‚Ì’·Š‚ÍA—v‹‚·‚é“®ŽŒŒ`‘Ô‚ðƒXƒ‰ƒbƒVƒ…‚̉E‘¤‚·‚È‚í‚¿•ª•ê‚Æ‚µ‚ÄŽæ‚èAŽ©‚ç‚Ì“®ŽŒŒ`‘Ô‚ðƒXƒ‰ƒbƒVƒ…‚̶‘¤‚·‚È‚í‚¿•ªŽq‚É‚·‚ê‚ÎA—v‹‚³‚ꂽ“®ŽŒŒ`‘Ô‚ªŒ»‚ꂽ‚Æ‚«‚ÉA•ªŽq‚·‚È‚í‚¿Ž©‚ç‚Ì“®ŽŒŒ`‘Ô‚¾‚¯‚ðŒvŽZi‚·‚È‚í‚¿–ñ•ªj‚ÌŒ‹‰Ê‚Æ‚µ‚ÄŽc‚·‚±‚Æ‚ª‚Å‚«‚é“_‚Å‚ ‚éBˆÈ‰º‚É‚»‚Ì—á‚ð‚ ‚°‚éB
vp = auxiliay ¥ verb 1 —á
‰ß‹Ž = ‰ß‹Ž/Œ»Ý•ªŽŒ ¥ Œ»Ý•ªŽŒ were reading
Œ»Ý = Œ»Ý/Œ´Œ` ¥ Œ´Œ` can read
‚±‚Ì•ûŽ®‚Å•\‚·‚Æ•“®ŽŒ‚Ì“®ŽŒŒ`‘Ô‘f«‚͈ȉº‚̂悤‚É‚È‚éB
‘f«€–Ú —ª† ’l
“®ŽŒŒ`‘Ô VFORM pres/pp,past/pp,pp/pp,ppr/pp,inf/pp
pres/ppr,past/ppr,pp/ppr,ppr/ppr,inf/ppr
pres/inf,past/inf,pp/inf,ppr/inf,inf/inf
‚È‚¨A‚±‚̂悤‚É•¶–@“I‚ÈŠÖŒW‚ði—‘z“I‚Éj‚Í‚½‚Á‚½‚Q‚‚̒PƒƒJƒeƒSƒŠ[‚Ì‹[Ž—ŒvŽZŽ®‚Å•\‚·•ûŽ®‚̓JƒeƒSƒŠ[•¶–@‚Ì“`“‚É—R—ˆ‚·‚éB
2)Šˆ—pŒ`‚Å‚ ‚é‚©‚Ç‚¤‚©‚ɂ‚¢‚Ä‚Ì‘f«
“®ŽŒE•“®ŽŒ‚ÉŠÖ‚µ‚Ä‚à‚¤ˆê‚Âd—v‚É‚È‚é‘f«‚ÍA‚»‚ꂪŠˆ—pŒ`‚Å‚ ‚é‚©‚Ç‚¤‚©‚Æ‚¢‚¤î•ñ‚Å‚ ‚éBˆê”Ê‚ÉA•“®ŽŒ‚ÍAl̂│⎞§‚ÉŠÖ‚µ‚ÄŠˆ—p‚µ‚½Œ`‚Å‚È‚¢“®ŽŒ‹å‚ð—v‹‚·‚éBã‚Ì‘f«‚ÅŒ¾‚¦‚ÎAƒXƒ‰ƒbƒVƒ…‚̉E‘¤‚É—ˆ‚邱‚Æ‚ª‚Å‚«‚é‚Ì‚ÍApp‚Æppr‚Æinf‚Å‚ ‚Á‚ÄA‚±‚ê‚ç‚Í‚Ç‚ê‚àlÌA”AŽž§‚ÉŠÖ‚µ‚ĉ½‚ÌŒÀ’è‚àŽ‚½‚È‚¢ B‚»‚ê‚ɑ΂µAˆê”Ê‚Énp‚ªvp‚ÆŒ‹‚Ñ•t‚¢‚Äs‚ª‚Å‚«‚éÛA‚»‚Ìvp‚Ìhead‚ÍAí‚Él̂│⎞§‚ÉŠÖ‚µ‚ÄŠˆ—p‚µ‚½Œ`‚Å‚È‚¯‚ê‚΂Ȃç‚È‚¢B‚±‚ÌðŒ‚𓮎Œ‚ÉŠÖ‚·‚é‚à‚¤ˆê‚‚̑f«‚Æ‚µ‚Ä“±“ü‚·‚éB
‘f«€–Ú —ª† ’l
Šˆ—pŒ`1 FIN +fin,-fin
‚±‚±‚Å‚ÍŠˆ—pŒ`‚Æ”ñŠˆ—pŒ`i‚¢‚í‚ä‚錴Œ`j‚Ì“ñ‚Â‚ð‚»‚ê‚¼‚ê}fin‚Å‹æ•Ê‚µ‚Ä‚¢‚éB“®ŽŒŒ`‘Ô‚ÆŠˆ—pŒ`‚Ì‘f«‚É‚æ‚èA•¶–@‚S‚ª‚ǂ̂悤‚ɕω»‚·‚é‚©‚ðˆÈ‰º‚ÉŒ©‚Ä‚¢‚±‚¤B
3)Ž«‘ƒŒƒxƒ‹‚Å‚Ì“®ŽŒE•“®ŽŒ‚̈µ‚¢
‚Ü‚¸“®ŽŒ‚ÌŽ«‘ƒf[ƒ^‚Å‚ÍA“o˜^‚µ‚â‚·‚¢‚悤‚É‚T‚‚̌êŒ`‚ð—ñ‹“‚·‚邱‚Æ‚É‚·‚éBŒêŒ`‚Ì“o˜^‡‚ÍA‚RlÌ’P”Œ»ÝŒ`,Œ»ÝŒ`,‰ß‹ŽŒ`,‰ß‹Ž•ªŽŒ,Œ»Ý•ªŽŒ‚Å‚ ‚éB‚È‚¨AŒ´Œ`‚ÍAŒ»ÝŒ`‚Æ“¯‚¶‚È‚Ì‚ÅŒêŒ`‚Æ‚µ‚Ä‚Í“Á•Ê‚É“o˜^‚·‚é•K—v‚Í‚È‚A‘f«‚̃Œƒxƒ‹‚Å‚Ì‚Ý‹æ•Ê‚µ‚Ä‚â‚ê‚Ηǂ¢B
tv([reads,read,read,read,reading],19).
“®ŽŒ‚ÌŽ«‘ƒf[ƒ^‚ª•ÏX‚³‚ꂽ‚±‚Æ‚É”º‚¢A‘f«ŽQƔԆ‚P‚X‚É‚æ‚Á‚ÄŽQÆ‚³‚ê‚é‘f«feature/2‚Ì‘æ‚Qˆø‚«”‚Ì‘f«ƒŠƒXƒg‚Ì—v‘f‚Ì”‚àA‚Q‚©‚ç‚U‚É‘‚¦‚éB‘f«ƒŠƒXƒg‚Ì—v‘f‚ÍA‘O‚©‚燂ɂRlÌ’P”Œ»ÝŒ`,Œ»ÝŒ`,‰ß‹ŽŒ`,‰ß‹Ž•ªŽŒ,Œ»Ý•ªŽŒ,Œ´Œ`‚Ì‚U‚‚ł ‚éB
% ˆê”Ê“®ŽŒ‚Ì‘f«:‚RlÌ’P”Œ»Ý,Œ»Ý,‰ß‹Ž,‰ß‹Ž•ªŽŒ,Œ»Ý•ªŽŒ,Œ´Œ`
feature(19,[[_,sing,_,3,+hum,pres,+fin],[_,_,_,_,+hum,pres,+fin],
[_,_,_,_,+hum,past,+fin],[_,_,_,_,+hum,pp,-fin],
[_,_,_,_,+hum,ppr,-fin],[_,_,_,_,+hum,inf,-fin]]).
‚±‚Ì“o˜^‘f«‚ÆŽ«‘ƒf[ƒ^‚©‚ç•K—v‚È’PŒêƒŒƒxƒ‹‚Ì‹K‘¥‚ðì‚邽‚ß‚ÉA–¼ŽŒ‚ðˆê‚‚¾‚¯Žæ‚鑼“®ŽŒ‚Ìpreterminal rule‚àŽŸ‚̂悤‚É•ÏX‚³‚ê‚éB
tv(GF,['TV',Word]) --> [Word],{tv([Word,_,_,_,_],N),
feature(N,[GF,_,_,_,_,_])}. % ‚RlÌ’P”
tv(GF,['TV',Word]) --> [Word],{tv([_,Word,_,_,_],N),
feature(N,[_,GF,_,_,_,_]),not_sg3(GF)}. % Œ»ÝŒ`
tv(GF,['TV',Word]) --> [Word],{tv([_,_,Word,_,_],N),
feature(N,[_,_,GF,_,_,_])}. % ‰ß‹ŽŒ`
tv(GF,['TV',Word]) --> [Word],{tv([_,_,_,Word,_],N),
feature(N,[_,_,_,GF,_,_])}. % ‰ß‹Ž•ªŽŒ
tv(GF,['TV',Word]) --> [Word],{tv([_,_,_,_,Word],N),
feature(N,[_,_,_,_,GF,_])}. % Œ»Ý•ªŽŒ
tv(GF,['TV',Word]) --> [Word],{tv([_,Word,_,_,_],N),
feature(N,[_,_,_,_,_,GF])}. % Œ´Œ`
•“®ŽŒ‚̈µ‚¢‚ÍŒ´‘¥‚Æ‚µ‚Ä‚ÍA“®ŽŒ‚Æ•Ï‚í‚ç‚È‚¢B“®ŽŒ‚Ƃ̈Ⴂ‚ÍA•“®ŽŒ‚ÌŽí—Þ‚É‚æ‚Á‚Ä‚ÍA‚¢‚‚‚©‚ÌŒêŒ`‚ªŒ‡—Ž‚µ‚Ä‚¢‚é‚à‚Ì‚ª‚ ‚邱‚Æ‚Å‚ ‚éB•“®ŽŒŽ©g‚ð‚»‚ê‚ªŽ‚ÂŒêŒ`‚Ì”‚ð‚à‚Æ‚É•ª—Þ‚·‚é‚ƈȉº‚Ì‚T‚‚ɂȂéB
(1)Œ»ÝŒ`‚ƉߋŽŒ`‚Ì‚Ý‚Ì‚à‚Ì
can,will,must,may,shall
(2)‚RlÌŒ»ÝŒ`‚ÆŒ»ÝŒ`‚ƉߋŽŒ`‚Ì‚Ý‚Ì‚à‚Ì
do
(3) ‚RlÌ’P”Œ»ÝŒ`‚ÆŒ»ÝŒ`‚ƉߋŽŒ`‚ÆŒ»Ý•ªŽŒŒ`‚ÆŒ´Œ`‚ðŽ‚‚à‚Ì
have
(4)be“®ŽŒŒ^‚ÌŒêŒ`‚ðŽ‚‚à‚Ì
copula‚Æ‚µ‚Ä‚Ìbe,isŒ`‚𓱂be
(5)‚PŽí—Þ‚ÌŒêŒ`‚µ‚©Ž‚½‚È‚¢‚à‚Ì
to
ˆÈ‰º‚É‚ÍA(1)‚É‘®‚·‚é•“®ŽŒcan‚ÌŽ«‘ƒf[ƒ^‚Æ“o˜^‘f«‚¨‚æ‚Ñpreterminal rule‚ð‚ ‚°‚éBcan‚̃^ƒCƒv‚Ì•“®ŽŒ(modal auxiliary)‚ÍAlÌ‚Æ”‚ÉŠÖ‚µ‚ÄA“Á•Ê‚ÈŽw’è‚ðŽ‚½‚È‚¢‚ªA‚»‚ꂪ•ªŽŒ‚Ƃ͈قȂèAŠˆ—pŒ`‚Å‚ ‚邱‚Æ‚ÍA‘f«ƒŠƒXƒg‚ÌÅŒã‚Ì—v‘f‚Å‚ ‚é+fin‚©‚ç“Ç‚ÝŽæ‚ê‚éB
% can ‚ÌŽ«‘ƒf[ƒ^
aux([can,could],23).
% •“®ŽŒcan,will,must,may,shall ‚Ì“o˜^‘f«
feature(23,[[_,_,_,_,_,pres/inf,+fin],
[_,_,_,_,_,past/inf,+fin]]).
% •“®ŽŒcan,will,must,may,shall ‚Ìpreterminal rule
aux(GF,['AUX',PRES]) --> [PRES],{aux([PRES,_],N),
feature(N,[GF,_])}.
aux(GF,['AUX',PAST]) --> [PAST],{aux([_,PAST],N),
feature(N,[_,GF])}.
4j‹å\‘¢‹K‘¥ã‚Å‚Ì“®ŽŒE•“®ŽŒ‚̈µ‚¢
•¶–@‚Ti•”•ªj
s([Tens|GF1],['S',NP,VP]) --> np(GF1,NP), vp(GF2,VP),
{GF1=[_,Num,nom,Pers,Hum],
GF2=[_,Num,_,Pers,Hum,Tens,+fin]}.
‚±‚±‚Å‚Ì•¶–@‚S‚Ƃ̈Ⴂ‚ÍA•¶‚ª•K‚¸ˆê‚‚̊ˆ—pŒ`‚ðŽ‚‚±‚Æ‚ªAvp‚Ì‘f«ƒŠƒXƒgGF2‚Ì‘æ‚V—v‘f+fin‚ÅŽ¦‚³‚ê‚Ä‚¢‚邱‚Æ‚Å‚ ‚éB‚±‚ê‚Æ‚Í‹t‚ÉA•“®ŽŒ‚ª‰ºˆÊ‚Ìvp‚Ìhead‚Æ‚µ‚Äí‚É”ñŠˆ—pŒ`‚ðŽæ‚邱‚Æ‚ÍA‰º‚Ì‹K‘¥‚ÅA‰ºˆÊ‚Ìvp‚Ì•¶–@‘f«GF3‚Ì‘æ‚V—v‘f‚ª-fin‚É‚È‚Á‚Ä‚¢‚邱‚Æ‚ÅŽ¦‚³‚ê‚éB‚±‚Ì‹K‘¥‚̉E•Ó‚ƶ•Ó‚É“¯‚¶vp‚ª—ˆ‚Ä‚¢‚邱‚Æ‚©‚ç‚í‚©‚é‚悤‚É‚±‚Ì‹K‘¥‚ÍÄ‹A“I‚É“K‰ž‚³‚꓾‚é‚Ì‚ÅA•“®ŽŒ‚ð•¡”Ž‚•¶‚ඬ‚·‚邱‚Æ‚ª‚Å‚«‚éBˆê•û“®ŽŒŒ`‘Ô‚ÉŠÖ‚·‚é‘f«‚ɂ‚¢‚ÄŒ¾‚¦‚ÎAaux‚Ì•¶–@‘f«‚Ì‘æ‚U—v‘f‚Å‚ ‚éTens/VFORM‚̃Xƒ‰ƒbƒVƒ…‚̶‘¤‚ª‚æ‚èãˆÊ‚Ìvp‚ÉŽóŒp‚ª‚ê‚邱‚Æ‚É‚æ‚Á‚ÄA
p.24‚ÅŽ¦‚µ‚½ƒJƒeƒSƒŠ[•¶–@‚Ìl‚¦•û‚ªƒvƒƒOƒ‰ƒ€ã‚Ɉڂ³‚ê‚Ä‚¢‚éB
vp(GF1,['VP',AUX,VP]) --> aux(GF2,AUX),vp(GF3,VP),
{GF1=[_,Num,_,Pers,Hum,Tens,FIN],
GF2=[_,Num,_,Pers,Hum,Tens/VFORM,FIN],
GF3=[_,_,_,_,Hum,VFORM,-fin]}.
5jcopula‚Æ‚µ‚Ä‚Ìbe‚̈µ‚¢
ÅŒã‚ÉAcopulai˜AŒ‹ŽŒj‚Æ‚µ‚Ä‚Ìbei‚¢‚í‚ä‚ébe“®ŽŒj‚̈µ‚¢‚ɂ‚¢‚ÄŠÈ’P‚ÉG‚ê‚éBcopula‚Æ‚µ‚Ä‚Ìbe‚͈ê”Ê‚É“®ŽŒ‚̈êŽí‚ÆŒ©‚È‚³‚ê‚Ä‚¢‚邪A‚»‚Ì•¶–@“I‚È“Á«i1.“|’u‚É‚æ‚Á‚Ä‹^–╶‚ðì‚é,2.not‚Æ‹¤‚É‚»‚̂܂ܔے蕶‚ðì‚ê‚é,3.‚»‚Ì‚Ü‚Ü•t‰Á‹^–╶‚ðì‚ê‚é“™j‚©‚ç‚·‚é‚ÆA‚Þ‚µ‚ë•“®ŽŒ‚Æl‚¦‚½•û‚ª“s‡‚ª‚¢‚¢B‚»‚Ìꇖ{“®ŽŒ‚Æ‚µ‚Ä‚ÍA‰¹Œ`‚Ì–³‚¢“®ŽŒ‚ð‰¼’è‚·‚éB‚Ü‚½‚±‚Ì“®ŽŒ‚Ì“®ŽŒŒ`‘Ԃɂ‚¢‚Ä‚Ì‘f«‚Æ‚µ‚ÄAæ‚ɉ¼’肵‚½VFORM‚Ì’l pres,past,pp,ppr,inf ‚Ì‚Ù‚©‚ÉA‰¹Œ`‚Ì–³‚¢“®ŽŒ‚ð‚ ‚ç‚í‚·none‚ðV‚½‚É“±“ü‚·‚éB VFORM ‚Ì’l‚Æ‚µ‚Änone‚ðŽæ‚é“®ŽŒ‚𓱓ü‚·‚é‹K‘¥‚ð‚ ‚°‚é‚ƈȉº‚̂悤‚É‚È‚éB‚±‚±‚Å‚±‚Ì“®ŽŒ‚ª‰¹Œ`‚ðŽ‚½‚È‚¢‚±‚Æ‚ÍA‹K‘¥‚̉E•Ó‚̶’[‚̋󃊃Xƒg [ ] ‚É‚æ‚Á‚ÄŽ¦‚³‚ê‚Ä‚¢‚éB
copula‚Æ‚µ‚Ä‚Ìbe“®ŽŒ(•“®ŽŒ)‚Æ‹¤‹N‚·‚鉹Œ`‚Ì–³‚¢“®ŽŒ
v(GF,['V','[]']) --> [],{GF1=[_,_,_,_,_,none,_]}.
copula‚Æ‚µ‚Ä‚Ì•“®ŽŒbe‚ÍAnone‚ðŽ‚Á‚½“®ŽŒ‚ð—v‹‚·‚é‚Ì‚Å•“®ŽŒ‚É‚àAnone‚ðŠÜ‚ވȉº‚̂悤‚ÈŒn—ñ‚Ì“®ŽŒŒ`‘Ô‘f«‚ð‰Á‚¦‚é•K—v‚ª‚ ‚éB
copula‚Æ‚µ‚Ä‚Ìbei•“®ŽŒj‚Ì“®ŽŒŒ`‘Ô
‘f«€–Ú —ª† ’l
“®ŽŒŒ`‘Ô VFORM pres/none,past/none,pp/none,ppr/none,inf/none
be‚ƈê”Ê“®ŽŒ‚Ì‚à‚¤ˆê‚‚̑傫‚ȈႢ‚ÍAbe‚ª‚æ‚葽‚‚Ì–¾Ž¦“I‚ÈŠˆ—pŒ`‚ðŽ‚‚±‚Æ‚Å‚ ‚éBbe‚Ìê‡A‚RlÌ’P”Œ»Ý‚¾‚¯‚Å‚È‚A‚PlÌ’P”Œ»ÝA‚P‚¨‚æ‚Ñ‚RlÌ’P”‰ß‹Ž‚àV‚½‚É‹æ•Ê‚·‚é•K—v‚ª‚ ‚éB‚µ‚½‚ª‚Á‚Ä“o˜^‘f«‚̃pƒ^[ƒ“‚âpreterminal rule‚ª‘‚¦‚邾‚¯‚Å‚È‚AlÌ‚Æ”‚Ɉê’è‚̃`ƒFƒbƒN‚ð‰Á‚¦‚éŠÖ”‚Æ‚µ‚ÄA]—ˆ‚Ìnot_sg3/1‚ɉÁ‚¦AV‚½‚Ésg13/1‚Ænot_sg13/1‚ð‰Á‚¦‚é•K—v‚ªo‚Ä‚‚éB‚±‚Ì“_‚ÍAŒ»ÝisŒ`‚𓱂•“®ŽŒ‚Ìbe‚à copula‚Æ‚µ‚Ä‚Ì•“®ŽŒ be‚à“¯‚¶‚Å‚ ‚éB‚±‚Ì‚Q‚‚Ìbe‚̈—‚Ì‚½‚ß‚É•K—v‚Æ‚È‚Á‚½ƒvƒƒOƒ‰ƒ€i•”•ªj‚ð‚ ‚°‚é‚ƈȉº‚̂悤‚É‚È‚éB
% •“®ŽŒbe‚ÌŽ«‘ƒf[ƒ^
aux([am,is,are,was,were,been,being,be],21). % copula‚Æ‚µ‚Ä‚Ìbe
aux([am,is,are,was,were,been,being,be],26). % isŒ`‚𓱂be
% copula ‚Æ‚µ‚Ä‚Ì •“®ŽŒbe ‚Ì‘f«ƒŠƒXƒg
% i‚PlÌ’P”Œ»Ý,‚RlÌ’P”Œ»Ý,Œ»Ý,‚PE‚RlÌ’P”‰ß‹Ž,‚»‚êˆÈŠO‚̉ߋŽ,
% ‰ß‹Ž•ªŽŒ,Œ»Ý•ªŽŒ,Œ´Œ`j
feature(21,[[_,sing,_,1,_,pres/none,+fin],[_,sing,_,3,_,pres/none,+fin],
[_,_,_,_,_,pres/none,+fin],
[_,sing,_,_,_,past/none,+fin],[_,_,_,_,_,past/none,+fin],
[_,_,_,_,_,pp/none,-fin],[_,_,_,_,_,ppr/none,-fin],
[_,_,_,_,_,inf/none,-fin]]). % —áFam/is/are
% isŒ`‚𓱂•“®ŽŒbe‚Ì‘f«ƒŠƒXƒg
feature(26,[[_,sing,_,1,_,pres/ppr,+fin],[_,sing,_,3,_,pres/ppr,+fin],
[_,_,_,_,_,pres/ppr,+fin],
[_,sing,_,_,_,past/ppr,+fin],[_,_,_,_,_,past/ppr,+fin],
[_,_,_,_,_,pp/ppr,-fin],[_,_,_,_,_,ppr/ppr,-fin],
[_,_,_,_,_,inf/ppr,-fin]]). % —áFam/is/are
% •“®ŽŒ be‚Ì preterminal rule
aux(GF,['AUX',SG1]) --> [SG1],{aux([SG1,_,_,_,_,_,_,_],N),
feature(N,[GF,_,_,_,_,_,_,_])}.
aux(GF,['AUX',SG3]) --> [SG3],{aux([_,SG3,_,_,_,_,_,_],N),
feature(N,[_,GF,_,_,_,_,_,_])}.
aux(GF,['AUX',PRES]) --> [PRES],{aux([_,_,PRES,_,_,_,_,_],N),
feature(N,[_,_,GF,_,_,_,_,_]),not_sg3(GF)}.
aux(GF,['AUX',PAST13]) --> [PAST13],{aux([_,_,_,PAST13,_,_,_,_],N),
feature(N,[_,_,_,GF,_,_,_,_]),sg13(GF)}.
aux(GF,['AUX',PAST]) --> [PAST],{aux([_,_,_,_,PAST,_,_,_],N),
feature(N,[_,_,_,_,GF,_,_,_]),not_sg13(GF)}.
aux(GF,['AUX',PP]) --> [PP],{aux([_,_,_,_,_,PP,_,_],N),
feature(N,[_,_,_,_,_,GF,_,_])}.
aux(GF,['AUX',PPR]) --> [PPR],{aux([_,_,_,_,_,_,PPR,_],N),
feature(N,[_,_,_,_,_,_,GF,_])}.
aux(GF,['AUX',INF]) --> [INF],{aux([_,_,_,_,_,_,_,INF],N),
feature(N,[_,_,_,_,_,_,_,GF])}.
% cf.‚PE‚RlÌ’P”‚Å‚È‚¢‚±‚Æ‚ÌŠm”F‚Ì‚½‚ßFwere
not_sg13([_,sing,_,2|_]).
not_sg13([_,plur|_]).
% cf.‚PE‚RlÌ’P”‚Å‚ ‚邱‚Æ‚ÌŠm”F‚Ì‚½‚ßF was
sg13([_,sing,_,1|_]).
sg13([_,sing,_,3|_]).
gˆÚ“®‚µ‚Ä‚¢‚é‚悤‚ÉŒ©‚¦‚é\¬‘fh‚̈—
1)–â‘è‚ÌŠÝ
‚±‚ê‚Ü‚Å‚ÍŽåŠi‚ÌŠÖŒW‘ã–¼ŽŒ‚ðŠÜ‚Þ•¶‚¾‚¯‚ðˆµ‚Á‚Ä‚¢‚½‚ªA‚»‚êˆÈŠO‚ÌŠÖŒW•¶‚Ì’†‚É‚ÍAˆêŒ©‚·‚é‚ÆA‚ ‚½‚©‚à•¶‚Ì’†‚Ì—v‘f‚ªAˆÚ“®‚³‚ê‚Ä‚¢‚é‚悤‚ÉŒ©‚¦‚é‚à‚Ì‚ª‚ ‚éB‚·‚È‚í‚¿’Êí‚Ì•¶‚È‚ç‚Ζ{—ˆ‚ ‚é‚ׂ«‚Æ‚±‚ë‚É‚»‚Ì—v‘f‚ª–³‚A‚»‚ꂪŠÖŒW‘ã–¼ŽŒ‚Æ‚µ‚Ä•¶“ª‚Ɉړ®‚³‚ê‚Ä‚¢‚é‚悤‚É‚Ý‚¦‚é‚Ì‚Å‚ ‚éB•ÏŒ`•¶–@‚Å‚ÍA‚±‚ê‚ÍA‚¢‚í‚ä‚éwhˆÚ“®‚ƌĂ΂êAˆÚ“®‚µ‚½—v‘f‚ÍAˆÚ“®Œ³‚ÉÕ(traceA’Êít ‚Æ—ª‚·)‚ðŽc‚·‚Æ‚³‚ê‚éBˆÈ‰º‚É‚»‚Ì—á‚ð‚ ‚°‚éi—á‚PjB‚È‚¨A—á‚Q‚͌ꇂ̔äŠr‚Ì‚½‚ß‚É‚ ‚°‚½•½–•¶‚̎啶‚Å‚ ‚éB
—á‚PFI know the girl whom he gave [ t ]the book.
—á‚QFHe gave the girl the book.
“¯‚¶—l‚ÈŒ»Û‚ÍAŽåŠiˆÈŠO‚Ì‹^–⎌‚ðŠÜ‚Þ•¶‚Ì’†‚É‚àŒ©‚ç‚ê‚éB
—á‚RFWho do you like [t ] ?
—á‚SFDo you like her ?
‚»‚à‚»‚à‚¢‚í‚ä‚é•ÏŒ`¶¬•¶–@‚ª’ñ¥‚³‚ê‚Ä—ˆ‚½”wŒi‚É‚Í‚±‚¤‚µ‚½ˆÚ“®‚𔺂¤Œ»Û‚ÍA’P‚È‚é‹å\‘¢‹K‘¥‚Å•\‚·‚±‚Æ‚ª‚Å‚«‚È‚¢‚Æ‚¢‚¤‘O’ñ‚ª‚ ‚Á‚½B‚µ‚©‚µˆÚ“®‚Æ‚¢‚¤•ÏŒ`‘€ì‚Í”ñí‚É‹—Í‚È‚à‚Ì‚Å‚ ‚èA‚±‚ê‚É‚æ‚Á‚Ä‚Ù‚Æ‚ñ‚Ç‚·‚ׂĂ̌»Û‚ªà–¾‚Å‚«‚é‚©‚í‚è‚ÉA•¶–@‹K‘¥‚ÉŠÖ‚·‚駌À‚ªŠÉ‚‚È‚èA‚ ‚é—^‚¦‚ç‚ꂽ•¶‚ª‚»‚ÌŒ¾Œê‚Ì•¶–@‚©‚綬‚Å‚«‚é‚à‚Ì‚©‚Ç‚¤‚©‚ð—LŒÀ‚ÌŽžŠÔ“à‚É”»’f‚·‚邱‚Æ‚ª‚Å‚«‚È‚¢ê‡‚ං¶‚邱‚Æ‚Æ‚È‚Á‚½BŽÀÛ‚É‚ÍA•ÏŒ`‹K‘¥‚Ì“K—p‚É‚ÍA‘å‚«‚ÈðŒ‚ª‰Û‚¹‚ç‚ê‚邱‚Æ‚É‚È‚Á‚½‚ªA‚»‚ê‚É‚µ‚Ä‚àA•ÏŒ`‚ÍA‚»‚ê‚ð“K—p‰Â”\‚É‚·‚éˆê’è‚ÌðŒ‚ð•K—v‚Æ‚µA‚µ‚½‚ª‚Á‚ÄAŽè‘±‚«‚̇˜‚Ɉˑ¶‚·‚éŽã“_‚ª‚ ‚Á‚½B‚»‚ê‚ɑ΂µA‚±‚ê‚Ü‚ÅŒ©‚Ä—ˆ‚½‚悤‚ÈA‘f«‚É‚æ‚Á‚ħŒÀ‚³‚ꂽ•¶–¬Ž©—R•¶–@‚Ì‹K‘¥‚Å‚ÍA‘f«‚̈ê’v‚͈ê’v‘f«‚ª“Ë‚«‡‚킳‚ꂽ‚Æ‚«‚É‚Í‚¶‚ß‚Ä‹N‚±‚èA‚»‚Ì•ûŒü«‚âˆê’v‚̇˜‚É‚ ‚ç‚©‚¶‚ߎw’肪–³‚©‚Á‚½B‹K‘¥‚É•ÏŒ`‚𓱓ü‚·‚é‚Æ‚¢‚¤‚±‚Æ‚ÍAŒø—¦‚Æ‚¢‚¤ˆÓ–¡‚Å‚àA—˜_“I‚ȈêŠÑ«‚Æ‚¢‚¤ˆÓ–¡‚Å‚àA\•¶‰ðÍã‚̃Aƒ‹ƒSƒŠƒYƒ€‚Æ‚¢‚¤ˆÓ–¡‚Å‚à‘å‚«‚ÈŒã‘Þ‚Å‚ ‚èA‹@ŠBˆ—ã‚Í‚Å‚«‚ê‚Î”ð‚¯‚½‚¢‚±‚Æ‚Å‚ ‚éBˆÈ‰º‚É‚ÍAˆêŒ©ˆÚ“®‚É‚Ý‚¦‚錻ۂð‚ǂ̂悤‚É‚µ‚ÄA‹å\‘¢‹K‘¥‚ÌŒ`‚Å•\Œ»‚·‚é‚©‚ɂ‚¢‚Äl‚¦‚éB
2)gap‚ÉŠÖ‚·‚é‘f«
ˆÚ“®‚Å‚È‚¢‚Æ‚·‚éŒÀ‚è‚ÍA‚»‚±‚ɉ½‚©‚ª‚ ‚é‚Ɖ¼’è‚·‚邱‚Æ‚É‚È‚éBã‚Ì—á‚Å‚ÍAÕ‚Æ‚³‚ê‚é‚Æ‚±‚ë‚ÉŒ©‚¦‚È‚¢—v‘figapj‚ª‚ ‚é‚Ɖ¼’è‚·‚éBgap‚ÍA–{—ˆ‚»‚±‚É‚ ‚é‚ׂ«—v‘f‚Æ“¯‚¶•¶–@‘f«‚ðŽ‚‚±‚Æ‚É‚È‚èAŒ©‚¦‚È‚¢\¬‘fi‚·‚È‚í‚¿‹óƒŠƒXƒgj‚ðŽY‚Ýo‚·‹K‘¥‚Ì’†‚Å“±“ü‚³‚ê‚éB‚È‚¨Agap‚Ì•iŽŒ‚Æ‚»‚Ì•¶–@‘f«‚ðˆê‘g‚̃†ƒjƒbƒg‚Æ‚·‚égap‘f«‚ÍA“ÆŽ©‚̈ø‚«”‚É‚æ‚Á‚Ä‹K‘¥‚Ì’†‚ÅŽóŒp‚ª‚ê‚éBgap‘f«‚ÍA’Êí‚̃ŠƒXƒg‚Ì—v‘f‚Æ‚µ‚Ä•\Œ»‚µ‚Ä‚à‚æ‚¢‚ªA‚±‚±‚Å‚ÍAŒø—¦“™‚Ì——R‚ÅA·•ªƒŠƒXƒg‚Ì—v‘f‚ÌŒ`‚Å•\‚·‚±‚Æ‚É‚·‚éB
NP-gap‚𓱓ü‚·‚é‹K‘¥‚ð‚ ‚°‚é‚ƈȉº‚̂悤‚É‚È‚éB
np([[gap(np),GF]|GAP]-GAP,GF,['NP/NP','ƒÓ']) --> [].
‘æ‚Pˆø‚«”‚Ìgap‘f«‚Í·•ªƒŠƒXƒg[[gap(np),GF]|GAP]-GAP ‚Å•\‚³‚ê‚Ä‚¢‚邪AŽÀŽ¿“I‚É‚Í[[gap(np),GF]]‚Å‚ ‚éBŠÖ”gap/1‚̈ø‚«”‚Å‚ ‚énp‚É‚æ‚Á‚Ä‚±‚Ìgap‚Ì•iŽŒ‚ª•\Œ»‚³‚êAGF‚ª‘æ‚Qˆø‚«”‚É‚ ‚镶–@‘f«GF‚Æ“¯‚¶•Ï”‚Å‚ ‚邱‚Æ‚É‚æ‚Á‚Ä‚±‚ÌnpŽg‚í‚ê‚éÛ‚Ì•¶–@‘f«‚ªgap‘f«‚Ì’†‚ÅŽóŒp‚ª‚ê‚éBgap‚Ì\‘¢‚ÍAß“_‚Æ‚µ‚Ä’Êí‚ÌNP‚Å‚Í‚È‚NP/NP‚ªŽg‚í‚ꂵ‚©‚à‚»‚ꂪƒÓ‚ðŽx”z‚·‚邱‚Æ‚É‚æ‚Á‚ÄŽ¦‚³‚ê‚éBi’F\‘¢‚Ì•\‹L‚ɃXƒ‰ƒbƒVƒ…i/j‚ªŽg‚í‚ê‚邱‚Æ‚©‚çAgap‘f«‚ÍA‚µ‚΂µ‚Îslash‘f«‚Æ‚àŒÄ‚΂ê‚éBj‚Ü‚½A‚±‚ꂪ‰¹Œ`‚ðŽ‚½‚È‚¢Œê‚Å‚ ‚邱‚Æ‚ÍA‰E•Ó‚̋󃊃Xƒg[ ]‚É‚æ‚Á‚Ä•\‚³‚ê‚éB‚±‚ê‚ɑ΂µA‚½‚Æ‚¦‚Înp‚ðpn‚É“WŠJ‚·‚é‚悤‚Ègap‚ðŠÜ‚Ü‚È‚¢‹K‘¥‚ÌꇂÍAgap‘f«‚͋󃊃XƒgGAP-GAP‚É‚æ‚Á‚Ä•\‚³‚ê‚éB
np(GAP-GAP,GF,['NP',PN]) --> pn(GF,PN).
gap‚ª‚ ‚éŒÀ‚è‚»‚Ìgap‚ðŠÜ‚Þ‹å‚Í‚Ü‚¾Š®‘S‚Å‚Í‚È‚¢B•¶–@“I‚ÉŠ®‘S‚È‹å‚ɂȂ邽‚ß‚É‚ÍA‚¢‚¸‚ê‚©‚ÌŽž“_‚Ågap‚ÌŽ‚‘f«‚ð–ž‘«‚·‚é\¬‘f‚ª—ˆ‚È‚¯‚ê‚΂Ȃç‚È‚¢B‚±‚ê‚ÍA‚½‚Æ‚¦‚Ί֌W‘ã–¼ŽŒ‚â‹^–⎌‚Æ‚±‚ê‚ç‚̋傪Œ‹‡‚³‚ê‚é‹å\‘¢‹K‘¥‚Ì’†‚ÅŽÀŒ»‚³‚ê‚éBˆÈ‰º‚Égap‚ðŠÜ‚Þ•¶‚Ì—á‚Æ‚µ‚ÄI read every book which he gave me‚Ì\‘¢Ž÷‚ð‚ ‚°‚éB
S
|---|----|
NP VP
| |----|-----|
PN TV NP
| | |-----|--------|
i read DET N REL
| | |---|----|
every book RELP S/NP
| |---|---|
which NP VP/NP
| |---|---|
PN DTV NP NP/NP
| | | |
he gave PN ƒÓ
|
me
‚±‚±‚Å‚ÍAgapi³Šm‚É‚ÍANp-gapj‚ðŠÜ‚Þ\‘¢‚ðŽx”z‚·‚éß“_‚É‚ÍA‚»‚ê‚𓱓ü‚·‚éß“_NP/NP‚Æ“¯—l‚É/NP‚ª•t‚¯‰Á‚¦‚ç‚ê‚Ä‚¢‚éB/NP‚ÍAgap‘f«‚ª‹óƒŠƒXƒgi‚ð•\‚··•ªƒŠƒXƒgj‚É‚È‚Á‚½’iŠK‚ÅAã‚Ì—á‚ÅŒ¾‚¦‚Î S/NP‚ªARELP‚ÆŒ‹‡‚µ‚ÄREL‚É‚È‚Á‚½’iŠK‚ÅÁ–Å‚·‚éB‚±‚Ì•”•ª‚Ì‹K‘¥‚ðã‚°‚é‚ƈȉº‚̂悤‚É‚È‚éB
optrel(GAP-GAP,GF1, ['REL',RELP,S])-->
relp(GF2, RELP), s([[gap(np),GF2]|GAP]-GAP,_, S),
{GF1=[_,Num,_,3,Hum],
GF2=[_,Num,_,3,Hum]}.
ã‚Ì—á‚Å‚ÍAŠÖŒW‘ã–¼ŽŒrelp‚Ì•¶–@‘f«GF2‚ÆAŠÖŒW•¶s‚ÉŽóŒp‚ª‚ꂽgap‘f«‚Ì’†‚Ì•¶–@‘f«GF2‚ª“¯‚¶•Ï”‚Å‚ ‚邱‚Æ‚É‚æ‚Á‚ÄAŠÖŒW‘ã–¼ŽŒ‚ª•K—v‚Æ‚³‚ê‚éðŒ‚ð–ž‚½‚·i‚½‚Æ‚¦‚ÎCase‚âHum‚ÉŠÖ‚·‚é‘f«‚ÉŠÖ‚µ‚Äj‚±‚Æ‚ª•ÛØ‚³‚ê‚éB‚È‚¨AÅIŒ‹‰Ê‚Æ‚µ‚Ä‚ÌŠÖŒW•¶‚ðŠÜ‚Þ–¼ŽŒ‹å‘S‘Ì‚©‚çAgapî•ñ‚ªÁ‚¦‚½‚±‚Æ‚ÍAnp‚Ì‘æ‚P—v‘f‚ª‹óƒŠƒXƒgGAP-GAP‚É‚È‚Á‚Ä‚¢‚邱‚Æ‚É‚æ‚Á‚ÄŽ¦‚³‚ê‚éB
‚È‚¨AŽÖ‘«‚Å‚ ‚邪Agap‚ÌŬ’PˆÊ‚Í–¼ŽŒ‹å(NP)‚â‘O’uŽŒ‹å(PP)‚È‚Ì‚ÅAgap‘f«‚̈ø‚«”‚ðŽ‚‚̂͋僌ƒxƒ‹‚Ì‹K‘¥‚¾‚¯‚Å‚ ‚èAŽ«‘‚ânontermianl rule‚ð•ÏX‚·‚é•K—v‚Í‚È‚¢B
ÅŒã‚ÉAgap‚ðŠÜ‚Þ\‘¢‚ðŽx”z‚·‚éß“_‚É•t‰Á‚³‚ê‚é/NPA/PP“™‚ðì‚èo‚·•”•ª‚̃vƒƒOƒ‰ƒ€‚Ì•”•ª‚ÆA‚»‚ꂪŽg‚í‚ê‚Ä‚¢‚é‰ÓŠ‚̈ê—á‚Æ‚µ‚Ä vp -> tv + np‚Æ‚¢‚¤•¶–¬Ž©—R‹K‘¥‚ɑΉž‚·‚éƒvƒƒOƒ‰ƒ€‚Ì•”•ª‚ð‚ ‚°‚éB
%%% ƒXƒ‰ƒbƒVƒ…ƒJƒeƒSƒŠ[‚̃‰ƒxƒ‹ì¬—p
% ƒ‰ƒxƒ‹“o˜^
slash_node(np,'S','S/NP').
slash_node(np,'VP','VP/NP').
slash_node(np,'NP','NP/NP').
slash_node(np,'PP','PP/NP').
slash_node(np,'AP','AP/NP').
slash_node(pp,'S','S/PP').
slash_node(pp,'VP','VP/PP').
slash_node(pp,'NP','NP/PP').
slash_node(pp,'PP','PP/PP').
slash_node(pp,'AP','AP/PP').
% ƒ‰ƒxƒ‹ì¬—p
make_slash_node(GAP-GAP,Node,Node):- !.
make_slash_node([[gap(NPorPP)|_]|_]-_,Node1,Node2):-
slash_node(NPorPP,Node1,Node2).
% vp -> tv + np
vp(GAP1-GAP2,GF1,[NodeVP,TV,NP]) --> tv(GF1,TV),np(GAP1-GAP2,GF2, NP),
{GF2=[_,_,acc,_,_],make_slash_node(GAP1-GAP2,'VP',NodeVP)}.
3)yes-no‹^–╶‚̈µ‚¢
‹^–⎌‚ðŠÜ‚Þ•¶‚ðˆµ‚¤‚½‚ß‚É‚ÍA‚»‚Ì‘O’ñ‚Æ‚µ‚Ä‚Ü‚¸ŠÈ’P‚Èyes-no‹^–╶‚ðˆ—‚·‚é‹K‘¥‚𓱓ü‚µ‚È‚¯‚ê‚΂Ȃç‚È‚¢Byes-no‹^–╶‚Ì‚½‚ß‚É•K—v‚Æ‚È‚é‹K‘¥‚ð’Pƒ‚È‹å\‘¢‹K‘¥‚Å•\‚·‚ƈȉº‚̂悤‚É‚È‚éB
s-> aux + np + vp
‚±‚±‚Åaux‚ÍA+fin‚Ì‘f«‚ðA‚Ü‚½vp‚Í-fin‚Ì‘f«‚ð‚»‚ê‚¼‚ꎂÂB‚±‚ê‚ç‚ÌðŒ‚ðl—¶‚µ‚Äprolog‚Ì‹K‘¥‚É•ÏŠ·‚·‚é‚ƈȉº‚̂悤‚É‚È‚éB
s(GAP1-GAP3,[Tens|GF1],['S',NP,VP]) --> aux(GF1,AUX),
np(GAP1-GAP2,GF2,NP),
vp(GAP2-GAP3,GF3,VP),
{ GF1=[_,Num,_,Pers,_,Tens/VFORM,+fin],
GF2=[_,Num,nom,Pers,Hum],
GF3=[_,_ ,_,Pers,Hum,VFORM,-fin]}.
4)•â‘«‹^–╶‚̈µ‚¢
•â‘«‹^–╶i‚³‚µ‚ ‚½‚è‹^–⎌‘ã–¼ŽŒ‚𔺂¤‹^–╶j‚𓱓ü‚·‚邽‚ß‚É•K—v‚Æ‚È‚é‹K‘¥‚ð’Pƒ‚È‹å\‘¢‹K‘¥‚Å•\‚·‚ƈȉº‚̂悤‚É‚È‚éB
s-> qpn+s(with NP-gap)
‚±‚±‚Åqpn‚ÍA‹^–â‘ã–¼ŽŒ‚Ì—ª†‚Å‚ ‚éB‰E•Ó‚Ìs‚Ì‚È‚©‚Ìgap‘f«ƒŠƒXƒg‚ÌŽ‚•¶–@‘f«‚ÍA‹^–⎌‚Ì•¶–@‘f«‚Ɉê’v‚·‚éB‚à‚µŽåŒê‚Ìnp‚ªƒMƒƒƒbƒv‚É‚È‚Á‚Ä‚¢‚é‚Æ‚«‚ÍA‚±‚Ìgap‘f«‚ð”}‰î‚É‚µ‚ÄAaux‚ÆŽåŒê‚Ìnp‚Æ‚ÌŠÔ‚Å‚ÌlÌ‚Æ”‚̈ê’v(agreement)‚ªŽÀŒ»‚³‚ê‚éBˆÈã‚ÌŠÖŒW‚ðprolog‚Ì‹K‘¥‚É•ÏŠ·‚·‚é‚ƈȉº‚̂悤‚É‚È‚éB
s(GAP-GAP,GF2,['S',QPN,S]) --> qpn(GF1,QPN),
s([[gap(np),GF1]|GAP]-GAP ,GF2,S).
‚È‚¨AŽ«‘‚Ì’†‚É‚àAˆÈ‰º‚̂悤‚É‹^–â‘ã–¼ŽŒ‚ðV‚½‚É“o˜^‚µ‚Ä‚â‚é•K—v‚ª‚ ‚éB‚È‚¨Afeature/3‚ÍAŠ¥ŽŒEŠ—LŠiŠÖŒW‘ã–¼ŽŒ‚Æ‹¤—L‚Å‚«‚é‚Ì‚ÅAV‚½‚É“o˜^‚·‚é•K—v‚Í‚È‚¢B
% ‹^–â‘ã–¼ŽŒ
%%% PRETERMINAL RULE %%%
qpn(GF,['QPN',QPN])-->[QPN], {qpn(QPN,N),feature(N,GF,_)}.
%%% LEXIKON %%%
qpn(who,16).
qpn(what,17).
qpn(whom,18).
‚PjŒ`—eŽŒ‚Ì“±“üi–¼ŽŒ‚Ìadjunct‚â–q“I—p–@j
a cute girl (adjunct) She is cute.i–q“I—p–@j
‚Qj•›ŽŒ‹å‚â‘O’uŽŒ‹å‚Ì“±“ü(–¼ŽŒ‚É‚©‚©‚écomplement‚Ü‚½‚Íadjunct‚Æ‚µ‚Ä)
the destruction of Rom (complement) the girl with a telescope (adjunct)
the book here (adjunct)
‚Rj•›ŽŒ‹å‚â‘O’uŽŒ‹å‚Ì“±“üi“®ŽŒ‚É‚©‚©‚éê‡j
I saw (a girl with a telescope). I saw (a girl) with a telescope.
‚Sj‘O’uŽŒ‚𔺂¤ŠÖŒW‘ã–¼ŽŒAŠÖŒW/‹^–â•›ŽŒA‹^–âŒ`—eŽŒ‚Ì“±“ü
He will sell the house,in which he lives.
He will sell the house,which he lives in.
He will sell the house,where he lives.
Where does he live?
Which house do yo like? In which house does he live? etc.
‚Tj–¼ŽŒ‚ÌŠ—LŠi(possessive)‚ƶċA‹K‘¥
Ken*s book
‚Uj‚»‚Ì‘¼‚Ì“ÁŽê\•¶
He is easy to please.
He tries to read the book.
He seems to read the book.
It seems that he reads the book.
It is interesting to read the book. etc.
‚±‚̃y[ƒW‚Ì‚Í‚¶‚߂ɃWƒƒƒ“ƒv