Переключение режимов в Прологе в командной строке Windows
Руководство Sicstus Prolog говорит пользователю "|?- consult(пользователь)". чтобы ввести предложения и "чтобы вернуться на верхний уровень, введите ^D.". Тем не менее, я использую Windows, а в руководстве нет инструкций по Windows. Как я могу вернуться в режим запросов в Windows?
2 ответа
Во многих системах Prolog, таких как SICStus 4, вы можете ввести факт end_of_file. закончить консультацию. Этот факт не будет рассматриваться, он только служит для указания конца.
(Предупреждение: я не частый пользователь Wind-ows. То есть у меня есть только rdesktop для такой деятельности.)
Если вам когда-нибудь понадобится определить факт end_of_file. в вашей программе напишите end_of_file :- true. вместо.
Если вы введете end_of_file. как запрос на верхнем уровне, многие системы Prolog останавливаются. Вы можете обойти это, введя true,end_of_file. вместо.
Это немного странное поведение ни в коем случае не стандартизировано.
Я не могу проверить это, но я думаю, что ^Z (Ctrl+Z) должен играть ту же роль, что и ^D (Ctrl+D) в Unix.