Переключение режимов в Прологе в командной строке Windows

Question

В руководстве Sicstus Prolog сказано «|? - consult (user)».для ввода предложений и «для возврата на верхний уровень введите ^ D.».Тем не менее, я использую Windows, и в руководстве нет инструкций по Windows.Как я могу вернуться в режим запросов в Windows?

Answer 1

Во многих системах Prolog, таких как SICStus 4, вы можете ввести факт end_of_file. для завершения консультации. Этот факт не будет рассматриваться, он служит только для указания конца.

(Предупреждение: я не частый пользователь Wind-ows. То есть у меня есть только rdesktop для такой деятельности.)

Если вам когда-нибудь понадобится определить факт end_of_file. в вашей программе, напишите end_of_file :- true..

Если вы введете end_of_file. в качестве запроса на верхнем уровне, многие системы Prolog будут остановлены. Вы можете обойти это, введя вместо него true,end_of_file..

Это немного странное поведение отнюдь не стандартизировано.

Answer 2

Я не могу проверить это, но я думаю, что ^ Z (Ctrl + Z) должен играть ту же роль, что и ^ D (Ctrl + D) в Unix.