Education applications/SWI-Prolog

Материал из ALT Linux Wiki
< Education applications
Версия от 21:53, 20 ноября 2023; AndMezentsev (обсуждение | вклад)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
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 install -y swi-prolog
    Edu-swi-prolog-install-console-a.png
  7. Программа установлена, вы можете закрыть окно консоли
    Edu-swi-prolog-install-console-b.png

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

  1. Чтобы запустить программу в Альт Образование откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
    Запуск терминала
  2. Откроется терминал:
    Edu-common-install-console-2.png
  3. Введите 
    $ swipl
    Edu-swi-prolog-run1.png
  4. Программа запущена.

Удаление

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

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

Терминал

  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

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