>>413
Finit Domain variable
じゃないと検索しても見つけられないでしょ。

これってgnu prolog独特の物みたいだけど・・・
それより、これを使うとなんで高速化されるのかよくわからない。