Here is the link to the Prolog number chain assignment.