Определение предикатов married и female выглядит следующим образом: married(tom, mary). female(mary). female(ann). Напишите решение для цели female(X), not(married(_, X)):

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

• # Отметьте верное утверждение. Поиск в глубину на графе пространства состояний обычно используется:
• # Определение предиката middle имеет вид:middle(nth(I, L), I, L):- I = length(L) div 2. Напишите значение, которое примет переменная X в результате вызова цели middle(X, _, ["bob", "ann", "tom", "bill"]):
• # Определение предикатов parent и anc имеет вид: parent(tom, ann). parent(ann, bob). anc(X, Y):- parent(X, Y). anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(tom, X)?
• # Определение предикатов arc и conn имеет вид: arc(1, 2). arc(1, 3). arc(3, 4). conn(X, X). conn(X, Z):- arc(X, Y), conn(Y, Z). Сколько решений имеет цель conn(X, 4) ?
• # Определение предикатов arc и path имеет вид: arc(1, 2). arc(1, 3). arc(3, 4). path([X | L], X, [X | L]). path([X | L], Y, P):- arc(X, Z), not(isMember(Z, L)), path([Z, X | L], Y, P). В результате вызова цели path([1], 4, P) переменная P примет значение: