9.2. Algorithms
A subsection of Computer Science, 9618, through 9. Algorithm Design and Problem-solving
Listing 3 of 3 questions
A declarative language is used to represent the following facts about cats. 01 type(leopard, wild). 02 type(lion, wild). 03 type(cheetah, wild). 04 type(savannah, hybrid). 05 type(persian, domestic). 07 hair(leopard, medium). 08 hair(lion, short). 09 hair(cheetah, medium). 10 hair(savannah, medium). 11 hair(persian, long). 13 spots(leopard, yes). 14 spots(lion, no). 15 spots(cheetah, yes). 16 spots(savannah, yes). 17 spots(persian, no). These clauses have the following meaning: Clause Meaning A leopard is a type of wild cat. A lion has short hair. A savannah has spots. More facts are to be included. A caracal is a wild cat with short hair. Write the additional clauses to record these facts. Using the variable Cat, the goal: hair(Cat, medium) returns Cat = leopard, cheetah, savannah Write the result returned by the goal: hair(Cat, long) Cat = Write the goal, using the variable Pet, to find all the domestic cats. Write the goal, using the variable WildSpotty, to find all the wild cats with spots.
9618_s22_qp_31
THEORY
2022
Paper 3, Variant 1
View
A declarative language is used to represent the following facts about a school. 01 teaches(alan, mathematics). 02 teaches(ioana, geography). 03 teaches(nina, history). 04 teaches(alan, statistics). 06 studies(ahmed, history). 07 studies(freya, history). 08 studies(kim, history). 09 studies(freya, geography). 10 studies(hua, mathematics). 11 studies(hua, statistics). 12 studies(hua, geography). 14 tutors(alan, kim). 15 tutors(alan, hua). 16 tutors(alan, freya). 17 tutors(nina, ahmed). These clauses have the following meaning: Clause Meaning Alan teaches mathematics. Ahmed studies history. Alan is Kim’s tutor. More facts are to be included. Sam studies history and Nina is his tutor. Write the additional clauses to record these facts. Using the variable Student, the goal: studies(Student, history) returns Student = freya, ahmed, kim Write the result returned by the goal: studies(Student, geography) Student = Write the goal, using the variable X, to find all the students who have a tutor that teaches them. For example, Hua has Alan for a tutor and is also taught mathematics by Alan.
9618_s22_qp_32
THEORY
2022
Paper 3, Variant 2
View
A declarative language is used to represent the following facts about cats. 01 type(leopard, wild). 02 type(lion, wild). 03 type(cheetah, wild). 04 type(savannah, hybrid). 05 type(persian, domestic). 07 hair(leopard, medium). 08 hair(lion, short). 09 hair(cheetah, medium). 10 hair(savannah, medium). 11 hair(persian, long). 13 spots(leopard, yes). 14 spots(lion, no). 15 spots(cheetah, yes). 16 spots(savannah, yes). 17 spots(persian, no). These clauses have the following meaning: Clause Meaning A leopard is a type of wild cat. A lion has short hair. A savannah has spots. More facts are to be included. A caracal is a wild cat with short hair. Write the additional clauses to record these facts. Using the variable Cat, the goal: hair(Cat, medium) returns Cat = leopard, cheetah, savannah Write the result returned by the goal: hair(Cat, long) Cat = Write the goal, using the variable Pet, to find all the domestic cats. Write the goal, using the variable WildSpotty, to find all the wild cats with spots.
9618_s22_qp_33
THEORY
2022
Paper 3, Variant 3
View
Questions Discovered
3