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