Определение предикатов digit и fruit имеют вид:digit(0).digit(1).fruit(apple).fruit(pear).
В каком порядке будут найдены решения для цели digit(X), fruit(Y)?X = 0, Y = apple X = 1, Y = pear X = 0, Y = pear X = 1, Y = apple
(Отметьте один правильный вариант ответа.)
Варианты ответа
1, 3, 4, 2(Верный ответ)
1, 2, 4, 3
1, 2, 3, 4
1, 3, 2, 4