Drop hier links of afbeeldingen om ze aan de editor toe te voegen.
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 = [...]