Wasm Prolog
プログラム節
ゴール節
実行