Sub-string divisibility

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