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

このページのソース表示

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

プログラム
質問 | ?-

全解 Compile
User Program:  
S	= [s,[np,[n,time]],[vp,[vi,flies],[pp,[p,like],[np,[det,a],[n,arrow]]]]],
X	= [時,は,ひとつの,矢,のように,飛ぶ]

yes

(0.000212907791137695 Seconds)


領域サイズ
ATOM   (cell)	2048001	USED: 1329
 ARITY (cell)	2048000	USED: 718
HEAP   (cell)	2097152	USED: 55309
LSTACK (cell)	1048576	 MAX: 371
GSTACK (cell)	2097152	 MAX: 59505

RETURN