Как заставить Prolog на терминале замечать новые изменения, добавленные в исходный файл Prolog?

Question

Я открываю SWI-Prolog через терминал с помощью Swipl -s prolog_file. Однако каждый раз, когда я добавляю новые факты в исходный файл Prolog и сохраняю их, мне приходится перезапускать SWI-Prolog на терминале, чтобы он заметил изменения.

Я подумал, что использования CTRL + s в исходном файле Prolog достаточно, чтобы позволить SWI-Prolog заметить изменения, но это не так.

На windows есть редактор Prolog с кнопкой компиляции, когда вы компилируете файл, SWI-Prolog заметит изменения, но я использую Kali Linux, поэтому я пишу текст редактор.

Как я могу заставить SWI-Prolog замечать изменения?

Answer 1

Когда вы получаете приглашение ?-, введите make.

Это встроенный в SWI , его можно смоделировать в SICStus .

Для сложных проектов, включающих большое количество предварительной обработки и модули, эта функция может не работать.