Pull to refresh

Настраиваем редактор исходных текстов SWI-Prolog (XPCE Emacs) для пользователя, не знакомого с клавиатурными комбинациями Emacs

Reading time 2 min
Views 7.3K
Приступающие к изучению и/или работе с SWI-Prolog (http://www.swi-prolog.org/) часто сталкивается зачастую с не очень «дружелюбным интерфейсом командной строки вот в таком стиле:

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.
Tags:
Hubs:
+2
Comments 0
Comments Leave a comment

Articles