なるほどisが悪さしてるのか
Prolog バージョン2ではその辺を解消して欲しいね