Как можно изменить слово на prolog
?
Т.е. у меня есть база знаний
любит('Эрик',плавание)
.
Существует ли команда для изменения на любит('Том',плавание)
?
1 ответ
Для того, чтобы факты можно было изменять нужно определить их как динамичные, для этого используется директива dynamic
. В случае в вопросе определение будет выглядеть так:
:-dynamic любит/2. % динамичный факт "любит" с двумя значениями
Изменять факты нельзя, но можно удалить один факт и добавить другой.
Для удаления используется предикат retract
, для добавления в конец - assertz
Их можно использовать для написания клаузы replace_pred
, которая удалит один факт и запишет другой.
Пример реализации:
replace_pred(OldX,NewX) :-
retract(любит(OldX, плавание)),
assertz(любит(NewX, плавание)).
Теперь при вызове: replace_pred('Эрик','Том')
факт любит('Эрик',плавание)
удалится, а факт любит('Том',плавание)
добавится.