Если пространство состояний моделируется в виде графа, то обычно:

вопрос

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

Оставить комментарий

Отправить

• # Отношение likes определяется в виде: likes(bob, X) :- likes(ann, X). likes(ann, books). likes(tom, ann). Вариантом правила likes(bob, X) :- likes(ann, 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.
• # Определение предиката print имеет вид:print() :- repeat(), write('a'), !. print(). Сколько раз будет напечатан символ 'a' при вызове цели print()?
• # Определение предиката append имеет вид:append([], L, L). append([A | L1], L2, [A | L]) :- append(L1, L2, L). Какое значение примет переменная L в результате вызова append([1, 2], [2, 3], L)?
• # Определение предикатов union и member имеет вид: union([], L, L). union([A | L1], L2, L) :- member(A, L2), !, union(L1, L2, L). union([A | L1], L2, [A | L]) :- union(L1, L2, L). member(X, [X | _]):- !. member(X, [_ | L]):- member(X, L). Какое решение имеет цель union([4, 3, 2, 1], [1, 3, 5], L) ?