prologの標準的な実装では4本のスタックを使うそうですが,それぞれどういう役割を
持っているのでしょうか?