Home More Samples
```
///////////////////////////////////////////////////////////////////////////////
// Tom Daley
///////////////////////////////////////////////////////////////////////////////
// Enigma 1530 Richard England, New Scientist magazine, January 28, 2009.
///////////////////////////////////////////////////////////////////////////////
//
// Before being the youngest member of the British team at the 2008 Beijing
// Olympics, Tom Daley had become the youngest European diving champion on
// record by winning the individual title from the 10-metre platform board
// while still aged only 13.
//
// So it is appropriate that I can offer this puzzle:
// TOM * 13 = DALEY
//
// Each letter stands for a different digit, and no number starts with a zero.
// What is the five-digit number represented by DALEY?
//
///////////////////////////////////////////////////////////////////////////////
//
// Solve the problem by running the query:
//
//       all Enigma1530(daley)
//
///////////////////////////////////////////////////////////////////////////////
//
// Results:
//
// daley = 10348
// ___ Solution: 1 __________________________________
//
// Number of solutions: 1   Number of backtracks: 565
// Elapsed time: 00:00:00
//
///////////////////////////////////////////////////////////////////////////////

local Di = L[0..9]

pred Enigma1530(daley::L[0..]) iff
t::Di & o::Di & m::Di & d::Di & a::Di & l::Di & e::Di & y::Di &
_AllDifferent(t,o,m,d,a,l,e,y) & t <> 0 & d <> 0 &
daley = d*10000 + a*1000 + l*100 + e*10 + y &
(t*100 + o*10 + m) * 13 = daley

```