Prologでグローバル変数使っている人いますか?