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 регистрирует.
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуПо определению, 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, !.