Prolog

Question 1

In Prolog, the most natural way to express the fact that a lion is a cat is ANSWER.

Answer 1

cat(lion)

Question 2

In Prolog, the most natural way to express the query “what animals are cats?” is ANSWER.

Answer 2

animal(What), cat(What)

Question 3

In Prolog, the most natural way to express the rule that “I am an ancestor of you if I am a parent of you” is ANSWER.

Answer 3

ancestor(I, You) :- parent(I, You)

Question 4

In Prolog, the most natural way to express the rule that “I am an ancestor of you if I am a parent of an ancestor of you” is ANSWER.

Answer 4

ancestor(I, You) :- parent(I, Ancestor), ancestor(Ancestor, You)

(Both lines are one answer)

Question 5

In Prolog, the expression hi(X, 4) = hi(3, Y) causes X to have the value ANSWER.

Answer 5

3

Question 6

In Prolog, the expression hi(X, 4) = hi(3, Y) causes Y to have the value ANSWER.

Answer 6

4

Question 7

In Prolog, the expression hi(X, 4) = hi(3, X) causes X to have the value ANSWER

Answer 7

X will not be bound

Question 8

In Prolog, the expression [1, 2, 3] = [X | Y] causes X to have the value ANSWER.

Answer 8

1

Question 9

In Prolog, the expression [1, 2, 3] = [X | Y] causes Y to have the value ANSWER.

Answer 9

[2, 3]

Question 10

In Prolog, the expression X = [[1,2] | [3,4]] causes X to have the value ANSWER.

Answer 10

[[1, 2], 3, 4]

Question 11

In Prolog, the expression X = 1 + 2 causes X to have the value ANSWER.

Answer 11

1+2

Question 12

In Prolog, the expression 2 = 1 + X causes X to have the value ANSWER.

Answer 12

X remains unbound

Question 13

In Prolog, the expression that would cause an unbound variable X to take on the sum of the values of a bound variable Y and a bound variable Z is ANSWER.

Answer 13

X is Y + Z