Education applications/SWI-Prolog: различия между версиями
Строка 55: | Строка 55: | ||
#Кликните по пакету ПКМ и выберите «Отметить для установки» | #Кликните по пакету ПКМ и выберите «Отметить для установки» | ||
#:[[Файл:Edu-swi-prolog-install-synaptic-c.png]] | #:[[Файл:Edu-swi-prolog-install-synaptic-c.png]] | ||
#Согласитесь с изменениями | |||
#:[[Файл:Edu-swi-prolog-install-synaptic-d.png]] | |||
#Нажмите кнопку «Применить» | #Нажмите кнопку «Применить» | ||
#:[[Файл:Edu-swi-prolog-install-synaptic- | #:[[Файл:Edu-swi-prolog-install-synaptic-e.png]] | ||
#Согласитесь с изменениями | #Согласитесь с изменениями | ||
#:[[Файл:Edu-pascalabc-install-synaptic-9.png]] | #:[[Файл:Edu-pascalabc-install-synaptic-9.png]] | ||
Строка 62: | Строка 64: | ||
#:[[Файл:Edu-pascalabc-install-synaptic-10.png]] | #:[[Файл:Edu-pascalabc-install-synaptic-10.png]] | ||
#После успешной установки программа выдаст соответствующее сообщение | #После успешной установки программа выдаст соответствующее сообщение | ||
#:[[Файл:Edu-swi-prolog-install-synaptic- | #:[[Файл:Edu-swi-prolog-install-synaptic-f.png]] | ||
#Закройте программу | #Закройте программу | ||
Версия от 09:41, 1 августа 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:
- Откроется терминал:
- Введите запрос на повышение прав до суперпользователя:
- Введите пароль суперпользователя, у вас будут повышенные права:
- Введите команду, чтобы получить свежие источники пакетов:
- Установите swi-prolog следующей командой:
- Программа установлена, вы можете закрыть окно консоли
Запуск программы в Альт Образование
Чтобы запустить программу в Альт Образование перейдите по следующим пунктам меню: Меню приложений ▷ Образовательные ▷ Swi-prolog
Программа запущена:
Удаление
Выберите удобный способ удаления:
Synaptic
- Откройте Меню приложений ▷ Настройки ▷ Программа управления пакетами Synaptic:
- Введите пароль суперпользователя:
- Нажмите кнопку «Искать»:
- Введите «swi-prolog»:
- Программа нашла установленный пакет:
- Кликните по пакету ПКМ и выберите «Отметить для удаления»
- Согласитесь с изменениями
- Нажмите кнопку «Применить»
- Согласитесь с изменениями
- Программа начнёт удаление
- Удаление завершено. Закройте диалоговое окно и окно программы.
Терминал
- Откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
- Откроется терминал:
- Введите запрос на повышение прав до суперпользователя:
- Введите запрос на удаление программы:
- Удаление завершено, закройте терминал.