Главная /
Основы программирования на языке Visual Prolog /
Определение предикатов male и parent имеет вид: male(tom). male(bob). parent(tom, mary). parent(tom, ann). Рассмотрим цели not(parent(X, _)), male(X) и male(X), not(parent(X, _)). Отметьте правильное утверждение:
Определение предикатов male и parent имеет вид:
male(tom).
male(bob).
parent(tom, mary).
parent(tom, ann).
Рассмотрим цели not(parent(X, _)), male(X) и male(X), not(parent(X, _)). Отметьте правильное утверждение:
вопрос
Правильный ответ:
они имеют одинаковый набор решений
одна из них имеет два решения, а другая не имеет решений
одна из них имеет решение, а другая не имеет
одна из них имеет два решения, а другая одно решение
Сложность вопроса
77
Сложность курса: Основы программирования на языке Visual Prolog
94
Оценить вопрос
Комментарии:
Аноним
Если бы не данные решения - я бы не осилил c этими тестами intuit.
17 авг 2017
Аноним
Если бы не данные ответы - я бы не справился c этими тестами intuit.
03 мар 2017
Другие ответы на вопросы из темы программирование интуит.
- # Укажите все предикаты, которые добавляют факт в конец внутренней базы данных:
- # Определение функции f имеет вид: f(0, R) = R:- !. f(X, C) = f(X - 2, C * C). Какое значение примет переменная Y в результате вызова цели Y = f(4, 2)?
- # Определение предиката count имеет вид:count([H | T], C, N) :- C1 = C + H, count(T, C1, N). count([], N, N). Какое значение примет переменная R в результате вызова цели count([2, 3, 4], 0, R)?
- # Сложность O(n log n) имеет алгоритм сортировки
- # Определение предикатов 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 реализует алгоритм