0

Как можно изменить слово на prolog?
Т.е. у меня есть база знаний
любит('Эрик',плавание).
Существует ли команда для изменения на любит('Том',плавание)?

2
  • какая версия пролога?
    – Grundy
    Commented 27 февр. 2018 в 6:16
  • SWI-PROLOG 7.2.3
    – Alia
    Commented 27 февр. 2018 в 6:17

1 ответ 1

1

Для того, чтобы факты можно было изменять нужно определить их как динамичные, для этого используется директива dynamic. В случае в вопросе определение будет выглядеть так:

:-dynamic любит/2. % динамичный факт "любит" с двумя значениями

Изменять факты нельзя, но можно удалить один факт и добавить другой.

Для удаления используется предикат retract, для добавления в конец - assertz

Их можно использовать для написания клаузы replace_pred, которая удалит один факт и запишет другой.

Пример реализации:

replace_pred(OldX,NewX) :-
    retract(любит(OldX, плавание)),
    assertz(любит(NewX, плавание)).

Теперь при вызове: replace_pred('Эрик','Том') факт любит('Эрик',плавание) удалится, а факт любит('Том',плавание) добавится.

Пример работы

0

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.