Education applications/SWI-Prolog: различия между версиями
Нет описания правки |
|||
| (не показана 1 промежуточная версия 1 участника) | |||
| Строка 1: | Строка 1: | ||
{|class="wikitable" style="float:right; margin-left:2em" | {|class="wikitable" style="float:right; margin-left:2em" | ||
!colspan="2"|[[Файл:Education-8-logo.png|100px]] | !colspan="2"|[[Файл:Education-8-logo.png|100px]] | ||
| Строка 70: | Строка 69: | ||
{{:Education-console-install-common}}#Установите swi-prolog следующей командой: | {{:Education-console-install-common}}#Установите swi-prolog следующей командой: | ||
#:<syntaxhighlight lang="bash"> | #:<syntaxhighlight lang="bash"> | ||
# apt-get | # apt-get install -y swi-prolog | ||
</syntaxhighlight> | </syntaxhighlight> | ||
#:[[Файл:Edu-swi-prolog-install-console-a.png]] | #:[[Файл:Edu-swi-prolog-install-console-a.png]] | ||
Текущая версия от 21:53, 20 ноября 2023
| |
|---|---|
| SWI-Prolog | |
 | |
 | |
| Появился в: | 1987 |
| Автор: | Jan Wielemaker |
| Оф. сайт: | https://swi-prolog.org/ |
| Репозиторий ALT Linux | swi-prolog |
| Лицензия: | 2-пунктная BSD |
| Включена в состав Альт Образование |
Нет |
SWI-Prolog — свободная реализация языка программирования Пролог, часто используемая для преподавания и приложений Semantic Web.
Установка
Программу можно установить из системного репозитория ALT Linux. Для установки программы через консоль или Synaptic нужно выбрать пакет swi-prolog.
Выберите удобный способ установки:
Synaptic
- Откройте Меню приложений ▷ Настройки ▷ Программа управления пакетами Synaptic:
- Введите пароль суперпользователя:
- Нажмите на кнопку «Получить сведения» и подождите, пока программа обновит кэш:
- Нажмите на кнопку «Искать»
- Введите в окне поиска «swi-prolog» и нажмите «Искать»
- Программа найдёт нужный пакет
- Кликните по пакету ПКМ и выберите «Отметить для установки»
- Согласитесь с изменениями
- Нажмите кнопку «Применить»
- Согласитесь с изменениями
- Программа начнёт загрузку и установку пакетов
- После успешной установки программа выдаст соответствующее сообщение
- Закройте программу
Терминал
- Откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
- Откроется терминал:
- Введите запрос на повышение прав до суперпользователя:
$ su -
- Введите пароль суперпользователя, у вас будут повышенные права:
- Введите команду, чтобы получить свежие источники пакетов:
# apt-get update
- Установите swi-prolog следующей командой:
# apt-get install -y swi-prolog
- Программа установлена, вы можете закрыть окно консоли
Запуск программы в Альт Образование
- Чтобы запустить программу в Альт Образование откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
- Откроется терминал:
- Введите
$ swipl
- Программа запущена.
Удаление
Выберите удобный способ удаления:
Synaptic
- Откройте Меню приложений ▷ Настройки ▷ Программа управления пакетами Synaptic:
- Введите пароль суперпользователя:
- Нажмите кнопку «Искать»:
- Введите «swi-prolog»:
- Программа нашла установленный пакет:
- Кликните по пакету ПКМ и выберите «Отметить для удаления»
- Нажмите кнопку «Применить»
- Согласитесь с изменениями
- Программа начнёт удаление
- Удаление завершено. Закройте диалоговое окно и окно программы.
Терминал
- Откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
- Откроется терминал:
- Введите запрос на повышение прав до суперпользователя:
$ su -
- Введите запрос на удаление программы:
# apt-get remove -y swi-prolog
- Удаление завершено, закройте терминал.
