Приступающие к изучению и/или работе с SWI-Prolog (http://www.swi-prolog.org/) часто сталкивается зачастую с не очень «дружелюбным интерфейсом командной строки вот в таком стиле:
Даже сумев вызвать-таки редактор исходного кода, многие затрудняются с ним работать по причине того, что клавиатурные комбинации соответствуют достаточно харизматичному и отличающемуся от других редактору Emacs.
Как это исправить?
Наберите в командной строке „help.“
Вы увидите примерно вот это:
В окне нужно выполнить пункт меню Settings/User init file… (если появится диалоговое окно с подтверждением — подтвердите создание файла):
Там нужно найти вот такую строку:
И убрать в ней символ „%“, после чего сохранить файл, вызвав меню File/Save buffer.
Затем, в первом окне спраки (SWI-Prolog Help) нужно выполнить пункт Help/XPCE (GUI) Manual.
Появится примерно вот такое окно:
В этом окне нужно выполнить пункт меню File/Edit Preferences/XPCE User Defaults (возможно также появиться подтверждающий диалог, где нужно ответить утвердительно).
В открывшемся окне нужно найти строку
И убрать в ней символ »!" в начале, после чего сохранить файл выполнив пункт меню File/Save buffer.
Затем нужно закрыть все окна и снова запустить SWI-Prolog.
В появившейся командной строке введите:
В появившемся файле наберите:
После чего нажмите Control + S, файл должен сохраниться на диск.
Из меню выберите Compile/Compile buffer.
Перейдите в консоль: наберите там main.:
Вы увидели решение квадратного уравнения.
Теперь вы знаете как создавать новые файлы (edit(file(<файл>))., сохранять их привычной комбинацией (Control S) и даже как решать уравнения с помощью SWI-Prolog.
dm@dms:~> swipl % library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,856 bytes % /home/dm/.plrc compiled 0.00 sec, 656 bytes Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.10.2) Copyright (c) 1990-2010 University of Amsterdam, VU Amsterdam SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?-
Даже сумев вызвать-таки редактор исходного кода, многие затрудняются с ним работать по причине того, что клавиатурные комбинации соответствуют достаточно харизматичному и отличающемуся от других редактору Emacs.
Как это исправить?
Наберите в командной строке „help.“
?- help.
Вы увидите примерно вот это:
В окне нужно выполнить пункт меню Settings/User init file… (если появится диалоговое окно с подтверждением — подтвердите создание файла):
Там нужно найти вот такую строку:
% :- set_prolog_flag(editor, pce_emacs).
И убрать в ней символ „%“, после чего сохранить файл, вызвав меню File/Save buffer.
Затем, в первом окне спраки (SWI-Prolog Help) нужно выполнить пункт Help/XPCE (GUI) Manual.
Появится примерно вот такое окно:
В этом окне нужно выполнить пункт меню File/Edit Preferences/XPCE User Defaults (возможно также появиться подтверждающий диалог, где нужно ответить утвердительно).
В открывшемся окне нужно найти строку
!key_binding.style: cua
И убрать в ней символ »!" в начале, после чего сохранить файл выполнив пункт меню File/Save buffer.
Затем нужно закрыть все окна и снова запустить SWI-Prolog.
В появившейся командной строке введите:
?- edit(file('Мой файл.pl')).
В появившемся файле наберите:
После чего нажмите Control + S, файл должен сохраниться на диск.
Из меню выберите Compile/Compile buffer.
Перейдите в консоль: наберите там main.:
?- main. 2.0 true
Вы увидели решение квадратного уравнения.
Теперь вы знаете как создавать новые файлы (edit(file(<файл>))., сохранять их привычной комбинацией (Control S) и даже как решать уравнения с помощью SWI-Prolog.