Question: Create a Prolog program that solves the following logic puzzle, printing the right answer for each of the four cases.
There are 4 customers: Genevieve, Lucia, Shawna, Vanessa
There are 4 shoe sizes: 4, 5, 6, 7
There are 4 shoe manufacturers: Abbott Hill, Manzarita, Graffetz, Williford
1. Of the Manzarita footwear and Lucia's pair, one was a size 7 and the other was a size 4.
2. Genevieve's pair was 2 sizes smaller than the Abbott Hill footwear.
3. Vanessa's pair was 2 sizes larger than Genevieve's pair.
4. The Graffetz footwear was somewhat larger than Shawna's pair.
For each customer, show their name, their shoe size and their shoe's manufacturer in a format similar to this:
Joe bought a size 13 Nike.
Tom bought a size 12 Reebok.