Sub-string divisibility

https://projecteuler.net/problem=43の問題をprologで書いてみました。
search(_). で条件を満たす10桁の数を全部出力してくれます(たぶん……)。