どうして?
Prolog って動的な言語だと思うんだけど