Wasm Prolog

プログラム節

ゴール節