おためしAZ-Prologインタプリタ／コンパイラ

プログラム入力欄、質問入力欄に入力またはSelectし【Go】押下でAZ-Prologの実行をお試し頂けます
[全解]チェックボックスはトップレベルで強制的にバックトラックを発生し全解を表示します
[Compile]チェックボックスは入力プログラムをバイトコードコンパイル後に実行します
サーバー負荷・安全のためプログラム容量、稼動可能時間、組込述語を制限しています

2012年5月20日日曜日 7時21分7秒

Counter:

11360

領域サイズ	HEAP (cell) 262144 USED: 25200 ATOM (cell) 16384 USED: 692 ARITY (cell) 16384 USED: 682 LSTACK (cell) 32468 MAX: 66 GSTACK (cell) 262144 MAX: 24048 割り当て稼動秒：最大５秒
プログラム	/* ** 翻訳プログラム例題 ** */ trans(Bun,IMI,J):- bagof(A,L^(rexpl(Bun,'[^ ^\.]+',L),name(A,L)),E), % 文字列をアトム並びへ変換 s(IMI,E,[]), % 英語の構文解析 js(IMI,J,[]). % 同一構文を持つ日本語生成 %%%%%%%%%%%%%%%%%%%%%%%% %% 英語構文規則、辞書 %% % 通常文 s([s,Np,Vp]) --> np(Np),vp(Vp). % 命令文 s([s,Vp]) --> vp(Vp). % 名詞句 np([np,Noun]) --> n(Noun). np([np,N,Np]) --> n(N),np(Np). np([np,Det,Noun]) --> det(Det),n(Noun). % 動詞句 vp([vp,Vi,PP]) --> vi(Vi),pp(PP). vp([vp,Vi]) --> vi(Vi). vp([vp,Vt,Np]) --> vt(Vt),np(Np). vp([vp,Vt,Np,PP]) --> vt(Vt),np(Np),pp(PP). % 前置詞句 pp([pp,P,Np]) --> p(P),np(Np). % 終端節 n([n,time]) --> [time]. n([n,'I']) --> ['I']. n([n,you]) --> [you]. n([n,arrow]) --> [arrow]. n([n,flies]) --> [flies]. n([n,like]) --> [like]. det([det,a]) --> [an]. p([p,like]) --> [like]. % 動詞 vi([vi,flies]) --> [flies]. vi([vi,like]) --> [like]. vt([vt,time]) --> [time]. vt([vt,like]) --> [like]. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% 日本語構文規則、辞書 %% %% <<注意>> %% %% 英語の文法規則、単語を意味表現としている %% % 通常文 js([s,Np,Vp]) --> jnp(Np),[は],jvp(Vp). % 命令文 js([s,Vp]) --> jvp(Vp). % 名詞句 jnp([np,N,Np]) -->jn(N),[の],jnp(Np). jnp([np,Det,Noun]) -->jdet(Det),jn(Noun). jnp([np,Noun]) -->jn(Noun). % 動詞句 jvp([vp,Vi]) -->jvi(Vi). jvp([vp,Vi,PP]) -->jpp(PP),jvi(Vi). jvp([vp,Vt,Np]) --> jnp(Np),[を],jvt(Vt). jvp([vp,Vt,Np,PP]) --> jnp(Np),[を],jpp(PP),jvt(Vt). % 前置詞句 jpp([pp,P,Np]) --> jnp(Np),jp(P). % 終端節 jn([n,time]) --> [時]. jn([n,'I']) --> [私]. jn([n,you]) --> [あなた]. jn([n,arrow]) --> [矢]. jn([n,flies]) --> [蝿]. jn([n,flies]) --> [てんぷら]. jn([n,like]) --> [好み]. jdet([det,a]) -->[ひとつの]. jp([p,like]) -->[のように]. % 動詞 jvi([vi,flies]) -->[飛ぶ]. jvi([vi,flies]) -->[揚がる]. jvi([vi,like]) -->[好む]. jvt([vt,time]) -->[計る]. jvt([vt,like]) -->[好む]. jvt([vt,flies]) -->[揚げる].
質問	\| ?- trans("time flies like an arrow",S,X). 　全解　Compile
解	S = [s,[np,[n,time]],[vp,[vi,flies],[pp,[p,like],[np,[det,a],[n,arrow]]]]], X = [時,は,ひとつの,矢,のように,飛ぶ] yes (0.000000000000000 Seconds)