0

Data - path :)

load(Data) :- write('Loading'), see(Data), readQuests, seen.
readQuests :- repeat, read(Quest), Quest \= end_of_file, assert(Quest).

почему-то зацикливается, хотя Quest \= end_of_file fail регистрирует.

1 ответ 1

2

По определению, repeat всегда срабатывает успешно, т.е. для выхода из цикла необходимо добавить fail или любой другой тест выдающий значение false, если надо продолжать и true, если надо остановиться. Таким образом Пролог будет вынужден вернуться назад (см. Поиск с возвратом), repeat снова сработает и тело цикла будет выполнено ещё раз. Такие циклы по-английски называются failure-driven loops.

Пример из документации:

  repeat,
    read(Term),
    (  Term == end_of_file
    -> !
    ;  process(Term),
       fail
    ).

В вашем случае

readQuests :- repeat, read(Quest), assert(Quest), Quest = end_of_file, !.

Ваш ответ

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

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