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

Материал из ALT Linux Wiki
Нет описания правки
 
(не показаны 4 промежуточные версии 1 участника)
Строка 1: Строка 1:
{{stub}}
{|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]]
Строка 55: Строка 54:
#Кликните по пакету ПКМ и выберите «Отметить для установки»
#Кликните по пакету ПКМ и выберите «Отметить для установки»
#:[[Файл: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: Строка 63:
#:[[Файл: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]]
#Закройте программу
#Закройте программу


Строка 68: Строка 69:
{{:Education-console-install-common}}#Установите swi-prolog следующей командой:
{{:Education-console-install-common}}#Установите swi-prolog следующей командой:
#:<syntaxhighlight lang="bash">
#:<syntaxhighlight lang="bash">
# apt-get intall -y swi-prolog
# apt-get install -y swi-prolog
</syntaxhighlight>
</syntaxhighlight>
#:[[Файл:Edu-swi-prolog-install-console-a.png]]
#:[[Файл:Edu-swi-prolog-install-console-a.png]]
Строка 75: Строка 76:


==Запуск программы в Альт Образование==
==Запуск программы в Альт Образование==
Чтобы запустить программу в Альт Образование перейдите по следующим пунктам меню:
#Чтобы запустить программу в Альт Образование откройте {{nav|Меню приложений|Системные|Терминал Xfce}}:
<!-- отредачить -->
#:[[Файл:Edu-common-install-console-1.png|Запуск терминала]]
{{nav|Меню приложений|Образовательные|Swi-prolog}}
#Откроется терминал:
 
#:[[Файл:Edu-common-install-console-2.png]]
[[Файл:Edu-swi-prolog-run1.png]]
#Введите
 
#:<syntaxhighlight lang="bash">
Программа запущена:
$ swipl
 
</syntaxhighlight>
[[Файл:Edu-swi-prolog-run2.png|800px]]
#:[[Файл:Edu-swi-prolog-run1.png]]
#Программа запущена.


==Удаление==
==Удаление==
Строка 95: Строка 97:
#Кликните по пакету ПКМ и выберите «Отметить для удаления»
#Кликните по пакету ПКМ и выберите «Отметить для удаления»
#:[[Файл:Edu-swi-prolog-remove-synaptic-c.png]]
#:[[Файл:Edu-swi-prolog-remove-synaptic-c.png]]
#Нажмите кнопку «Применить»
#:[[Файл:Edu-swi-prolog-remove-synaptic-d.png]]
#Согласитесь с изменениями
#Согласитесь с изменениями
#:[[Файл:Edu-swi-prolog-remove-synaptic-d.png]]
#Нажмите кнопку «Применить»
#:[[Файл:Edu-swi-prolog-remove-synaptic-e.png]]
#:[[Файл:Edu-swi-prolog-remove-synaptic-e.png]]
#Согласитесь с изменениями
#Программа начнёт удаление
#:[[Файл:Edu-swi-prolog-remove-synaptic-f.png]]
#:[[Файл:Edu-swi-prolog-remove-synaptic-f.png]]
#Программа начнёт удаление
#Удаление завершено. Закройте диалоговое окно и окно программы.
#:[[Файл:Edu-swi-prolog-remove-synaptic-g.png]]
#:[[Файл:Edu-swi-prolog-remove-synaptic-g.png]]
#Удаление завершено. Закройте диалоговое окно и окно программы.
#:[[Файл:Edu-swi-prolog-remove-synaptic-h.png]]


===Терминал===
===Терминал===

Текущая версия от 21:53, 20 ноября 2023

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

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