Question 1 (a) Convert the following information into a Prolog program:

Waldo owns a Beagle named Oscar. Sjanie owns a Labrador named Zappa. Peter owns a Dalmation named Domino. John owns a Boxer named Daisy. Andre owns a Labrador named Penka. Beagles are medium dogs and are used for hunting. Bassets are also used for hunting. Labradors are large dogs and are used as guide dogs. German Shepherds are used as watch dogs.

(b) Write Prolog queries to ask the following questions:

Does Peter own a guide dog? Is there anyone who owns a German Shepherd? Who is Dominos owner?

(c) Give an execution trace similar to the trace in Figure 2.10 on page 48 of Bratko (p. 43 in Bratko, 3rd edition) for the query: Is there anyone who owns a German Shepherd? that you defined in (b) above.

(d) Write a Prolog procedure to determine how many different dog breeds are contained in the database.