John Horton Conway¹ heeft een getal van 10 cijfers: abcdefghij. Elk cijfer is verschillend en:

• a is deelbaar door 1
• ab is deelbaar door 2
• abc is deelbaar door 3
• abcd is deelbaar door 4
• abcde is deelbaar door 5
• abcdef is deelbaar door 6
• abcdefg is deelbaar door 7
• abcdefgh is deelbaar door 8
• abcdefghi is deelbaar door 9
• abcdefghij is deelbaar door 10

Schrijf een predicaat solution/1 dat zijn argument unificeert met de oplossing als een lijst van getallen.

?- solution(X).
X = [...]