Отношение likes определяется следующим образом:likes(bob, X) :- likes(ann, X). likes(ann, books). likes(tom, ann). Укажите весь набор значений, которые примет переменная X в результате вычисления запроса likes(_, X)?

Правильный ответ:

• # Пусть грамматика имеет вид: d ::= dd | [a]d[a] | [b], где в квадратных скобках написаны терминальные символы. Укажите те из перечисленных ниже слов, которые из нее выводятся:
• # В результате вызова string::frontToken(" Karl meets Carla.", X, Y)переменные X и Y примут значения:
• # Если пространство состояний моделируется в виде графа, то обычно:
• # Определение предикатов parent и anc имеет вид: parent(tom, ann). parent(ann, bob). anc(X, Y):- parent(X, Y). anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(X, Y)?
• # Определение предиката append имеет вид:append([], L, L). append([A | L1], L2, [A | L]) :- append(L1, L2, L). Какое значение примет переменная L в результате вызова append([1, 2], [2, 3], L)?