Главная /
Основы программирования на языке Visual Prolog /
Одно из правил, определяющих предикат aks/3, имеет вид:ask(A, _, [N | _]):- assert(answer(N, A)), fail. Оно соответствует следующему действию:
Одно из правил, определяющих предикат aks/3
, имеет вид:ask(A, _, [N | _]):- assert(answer(N, A)), fail. Оно соответствует следующему действию:
вопрос
Правильный ответ:
отменяется запись в базу данных нового факта
в базу данных записывается новый факт и выполняется переход к следующему правилу
в базу данных записывается новый факт, если его там не было
если вычисления дойдут до этого правила, то вызов предиката ask будет неуспешным.
Сложность вопроса
55
Сложность курса: Основы программирования на языке Visual Prolog
94
Оценить вопрос
Комментарии:
Аноним
ответ подошёл
26 мар 2019
Другие ответы на вопросы из темы программирование интуит.
- # Декларативное значение логической программы animal(X) :- bird(X). animal(zebra). bird(swan). Имеет вид:
- # В результате вызова string::frontToken(" 23 + 5", X, Y) переменные X и Y примут значения:
- # С каким списком не унифицируется список [1, 2]?
- # Программа имеет вид: male(tom). male(bob). Отсечение в запросе male(X), !, male (Y)
- # Определение предиката color имеет вид:color(red). color(yellow) :- !. color(green). Сколько решений имеет цель color(X), color(Y)?