Отношение married определяется в виде: married(tom, mary). married(bob, ann). Симметричное замыкание отношения married можно определить следующим образом:

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

• # Выберите из списка терм и соответствующий ему домен: t(1, t(2, empty, empty), empty) t(nil, 1, t(nil, 2, nil))tree = t(integer, tree*).bintree{Elem} = t(bintree{Elem}, Elem, bintree{Elem}); nil.
• # Сколько элементов содержит список [[], [], [1], [1, 2], [1, 2, 3, 4]]?
• # Программа имеет вид: male(tom). male(bob). Отсечение в запросе male(X), !, male (Y)
• # Определение предиката subset имеет вид: subset([], []). subset([A | L], [A | S]):- subset(L, S). subset([_ | L], S):- subset(L, S). Сколько решений имеет цель subset([1, 2, 3], 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) ?