Добавляет факт в начало внутренней базы данных предикат:
(Отметьте один правильный вариант ответа.)
Варианты ответа
save
assert
assertz
asserta(Верный ответ)
correct(L):- answer(N, 1), not(isMember(N, L)), !, fail; succeed().Предикат истинен, если
ask(A, _, [N | _]):- assert(answer(N, A)), fail.Оно соответствует следующему действию: