0

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

2
  • какая версия пролога?
    – Grundy
    27 фев 2018 в 6:16
  • SWI-PROLOG 7.2.3
    – Alia
    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

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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