Education applications/SWI-Prolog: различия между версиями

Материал из ALT Linux Wiki
Строка 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-d.png]]
#:[[Файл: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-e.png]]
#:[[Файл:Edu-swi-prolog-install-synaptic-f.png]]
#Закройте программу
#Закройте программу



Версия от 09:41, 1 августа 2023

Stub.png
Данная страница находится в разработке.
Эта страница ещё не закончена. Информация, представленная здесь, может оказаться неполной или неверной.
Education-8-logo.png
SWI-Prolog
Altedu-menu-swi-prolog.png
Altedu-screenshot-swi-prolog.png
Появился в: 1987
Автор: Jan Wielemaker
Оф. сайт: https://swi-prolog.org/
Репозиторий ALT Linux swi-prolog
Лицензия: 2-пунктная BSD
Включена в состав
Альт Образование
Нет

SWI-Prolog — свободная реализация языка программирования Пролог, часто используемая для преподавания и приложений Semantic Web.

Установка

Программу можно установить из системного репозитория ALT Linux. Для установки программы через консоль или Synaptic нужно выбрать пакет swi-prolog.

Выберите удобный способ установки:

Synaptic

  1. Откройте Меню приложений ▷ Настройки ▷ Программа управления пакетами Synaptic:
    Программа управления пакетами Synaptic
  2. Введите пароль суперпользователя:
    Edu-common-install-synaptic-2.png
  3. Нажмите на кнопку «Получить сведения» и подождите, пока программа обновит кэш:
    Edu-common-install-synaptic-3.png
  4. Нажмите на кнопку «Искать»
    Edu-common-install-synaptic-3-1.png
  5. Введите в окне поиска «swi-prolog» и нажмите «Искать»
    Edu-swi-prolog-install-synaptic-a.png
  6. Программа найдёт нужный пакет
    Edu-swi-prolog-install-synaptic-b.png
  7. Кликните по пакету ПКМ и выберите «Отметить для установки»
    Edu-swi-prolog-install-synaptic-c.png
  8. Согласитесь с изменениями
    Edu-swi-prolog-install-synaptic-d.png
  9. Нажмите кнопку «Применить»
    Edu-swi-prolog-install-synaptic-e.png
  10. Согласитесь с изменениями
    Edu-pascalabc-install-synaptic-9.png
  11. Программа начнёт загрузку и установку пакетов
    Edu-pascalabc-install-synaptic-10.png
  12. После успешной установки программа выдаст соответствующее сообщение
    Edu-swi-prolog-install-synaptic-f.png
  13. Закройте программу

Терминал

  1. Откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
    Запуск терминала
  2. Откроется терминал:
    Edu-common-install-console-2.png
  3. Введите запрос на повышение прав до суперпользователя:
    $ su -
    
    Edu-common-install-console-3.png
  4. Введите пароль суперпользователя, у вас будут повышенные права:
    Edu-common-install-console-4.png
  5. Введите команду, чтобы получить свежие источники пакетов:
    # apt-get update
    
    Edu-common-install-console-5.png
    Edu-common-install-console-6.png
  6. Установите swi-prolog следующей командой:
    # apt-get intall -y swi-prolog
    
    Edu-swi-prolog-install-console-a.png
  7. Программа установлена, вы можете закрыть окно консоли
    Edu-swi-prolog-install-console-b.png

Запуск программы в Альт Образование

Чтобы запустить программу в Альт Образование перейдите по следующим пунктам меню: Меню приложений ▷ Образовательные ▷ Swi-prolog

Edu-swi-prolog-run1.png

Программа запущена:

Файл:Edu-swi-prolog-run2.png

Удаление

Выберите удобный способ удаления:

Synaptic

  1. Откройте Меню приложений ▷ Настройки ▷ Программа управления пакетами Synaptic:
    Edu-common-remove-synaptic-1.png
  2. Введите пароль суперпользователя:
    Edu-common-remove-synaptic-2.png
  3. Нажмите кнопку «Искать»:
    Edu-common-remove-synaptic-3.png
  4. Введите «swi-prolog»:
    Edu-swi-prolog-remove-synaptic-a.png
  5. Программа нашла установленный пакет:
    Edu-swi-prolog-remove-synaptic-b.png
  6. Кликните по пакету ПКМ и выберите «Отметить для удаления»
    Edu-swi-prolog-remove-synaptic-c.png
  7. Согласитесь с изменениями
    Edu-swi-prolog-remove-synaptic-d.png
  8. Нажмите кнопку «Применить»
    Edu-swi-prolog-remove-synaptic-e.png
  9. Согласитесь с изменениями
    Edu-swi-prolog-remove-synaptic-f.png
  10. Программа начнёт удаление
    Edu-swi-prolog-remove-synaptic-g.png
  11. Удаление завершено. Закройте диалоговое окно и окно программы.
    Файл:Edu-swi-prolog-remove-synaptic-h.png

Терминал

  1. Откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
    Edu-common-install-console-1.png
  2. Откроется терминал:
    Edu-common-install-console-2.png
  3. Введите запрос на повышение прав до суперпользователя:
    $ su -
    
    Edu-common-install-console-3.png
  4. Введите запрос на удаление программы:
    # apt-get remove -y swi-prolog
    
    Edu-swi-prolog-remove-console-a.png
  5. Удаление завершено, закройте терминал.
    Edu-swi-prolog-remove-console-b.png

Учебные и методические материалы в свободном доступе