После загрузки файла pl в SWI-Prolog с помощью consult('filename') как я могу повторно загрузить его с помощью клавиатуры? Я читал, что это возможно с ctr b, но это не работает.
Я использую SWI-Prolog версии 6.2.6.
Вопрос
Пролог - повторно загрузить консультацию ('имя файла') в интерпретатор
Ответы
Ответ 1 · рейтинг 4 · Mihai
Вызов предопределенного предиката make/0. Он перезагрузит все ваши измененные исходные файлы.
?- make.
Дополнительная информация здесь: http://www.swi-prolog.org/pldoc/man?predicate=make/0
Ответ 2 · рейтинг 1 · Anniepoo
Consult/1 в SWI-прологе фактически определяется как reconsult/1
но сделать изящнее.
Перевод вопроса и ответов сообщества Stack Overflow, лицензия CC BY-SA. Оригинал на Stack Overflow.