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

プログラム入力欄、質問入力欄に入力またはSelectし【Go】押下でAZ-Prologの実行をお試し頂けます。
[全解]チェックボックスはトップレベルで強制的にバックトラックを発生し全解を表示します。
[Compile]チェックボックスは入力プログラムをバイトコードコンパイル後に実行します。

プログラム	/* **** 翻訳プログラム例題 **** */ 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]) -->[揚げる].
質問	| ?- 【入力質問Call】 【領域クリア】 定言三段論法 リストの結合 Nrevベンチマーク Nクイーン 英日翻訳 数独パズル 全解 Compile User Program:
解	S = [s,[np,[n,time]],[vp,[vi,flies],[pp,[p,like],[np,[det,a],[n,arrow]]]]], X = [時,は,ひとつの,矢,のように,飛ぶ] yes (0.000212907791137695 Seconds)