Education applications/SWI-Prolog

Материал из ALT Linux Wiki
< Education applications
Версия от 17:50, 31 июля 2023; Petr-akhlamov (обсуждение | вклад) (Новая страница: «{|class="wikitable" style="float:right; margin-left:2em" !colspan="2"|100px |- !colspan="2"|SWI-Prolog |- |colspan="2"|64px|center |- |colspan="2"|300px|center |- |'''Появился в: |'''1987<br> |- |'''Автор''': |Jan Wielemaker |- |'''Оф. сайт''': |[https://swi-prolog.org/ https://swi-prolog.org/] |- |'''Репозито...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
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.

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

Центр приложений

  1. Откройте Меню приложений ▷ Системные ▷ Центр приложений:
    Edu-common-run-softwarecenter-1.png
  2. Нажмите на кнопку поиска:
    Edu-common-run-softwarecenter-2.png
  3. Введите в поле поиска «swi-prolog» и выберите найденную программу
    Файл:Edu-swi-prolog-install-softwarecenter-a.png
  4. Нажмите «Источник» и выберите ALT Linux
    Файл:Edu-swi-prolog-install-softwarecenter-b.png
  5. Нажмите кнопку «Установить»
    Файл:Edu-swi-prolog-install-softwarecenter-c.png
  6. Начнется процесс установки
    Файл:Edu-swi-prolog-install-softwarecenter-d.png
  7. Установка завершена, закройте Центр приложений
    Файл:Edu-swi-prolog-install-softwarecenter-e.png

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-pascalabc-install-synaptic-9.png
  10. Программа начнёт загрузку и установку пакетов
    Edu-pascalabc-install-synaptic-10.png
  11. После успешной установки программа выдаст соответствующее сообщение
    Edu-swi-prolog-install-synaptic-e.png
  12. Закройте программу

Терминал

  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

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