Программа имеет вид: parent(bob, peter). parent(bob, X):- parent(ann, X). parent(bob, mary). Сколько решений имеет цель parent(bob, X)?

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

• # Выберите из списка терм и соответствующий ему домен: t(1, [t(2, []), t(3, []), t(4, [])]) t(nil, 1, t(nil, 2, nil)) tree{A} = t(A, tree{A}*). tree = t(integer, tree, tree); nil.
• # В результате вызова string::frontToken(" aa-bbcc", X, _) переменная X примет значение:
• # В результате вызова string::frontToken(" Karl meets Carla.", X, Y)переменные X и Y примут значения:
• # Определение предикатов male и parent имеет вид: male(tom). male(bob). parent(tom, mary). parent(tom, ann). Одинаковое ли количество решений имеют цели male(X), parent(X, _) и male(X), not(not(parent(X, _))):
• # Определение предикатов arc, cont и path имеет вид: arc(1, 3). arc(3, 4). cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)). path([[Y | L] | _], Y, [Y | L]). path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(L1, PL, PL1), path(PL1, Y, R). Предикат path реализует алгоритм