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

Текущая версия от 21:53, 20 ноября 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:
Откроется терминал:
Введите запрос на повышение прав до суперпользователя:
```
$ su -
```
Введите пароль суперпользователя, у вас будут повышенные права:
Введите команду, чтобы получить свежие источники пакетов:
```
# apt-get update
```
Установите swi-prolog следующей командой:
```
# apt-get install -y swi-prolog
```
Программа установлена, вы можете закрыть окно консоли

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

Чтобы запустить программу в Альт Образование откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
Откроется терминал:
Введите
```
$ swipl
```
Программа запущена.

Удаление

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

Synaptic

Откройте Меню приложений ▷ Настройки ▷ Программа управления пакетами Synaptic:
Введите пароль суперпользователя:
Нажмите кнопку «Искать»:
Введите «swi-prolog»:
Программа нашла установленный пакет:
Кликните по пакету ПКМ и выберите «Отметить для удаления»
Нажмите кнопку «Применить»
Согласитесь с изменениями
Программа начнёт удаление
Удаление завершено. Закройте диалоговое окно и окно программы.

Терминал

Откройте Меню приложений ▷ Системные ▷ Терминал Xfce:
Откроется терминал:
Введите запрос на повышение прав до суперпользователя:
```
$ su -
```
Введите запрос на удаление программы:
```
# apt-get remove -y swi-prolog
```
Удаление завершено, закройте терминал.

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

@@ Строка 33: / Строка 33: @@
 Выберите удобный способ установки:
+<!--
 ===Центр приложений===
 {{:Education-softwarecenter-common}}#Введите в поле поиска «swi-prolog» и выберите найденную программу
@@ Строка 44: / Строка 45: @@
 #Установка завершена, закройте Центр приложений
 #:[[Файл:Edu-swi-prolog-install-softwarecenter-e.png]]
+-->
 ===Synaptic===
@@ Строка 52: / Строка 54: @@
 #Кликните по пакету ПКМ и выберите «Отметить для установки»
 #:[[Файл: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]]
@@ Строка 59: / Строка 63: @@
 #:[[Файл:Edu-pascalabc-install-synaptic-10.png]]
 #После успешной установки программа выдаст соответствующее сообщение
-#:[[Файл:Edu-swi-prolog-install-synaptic-e.png]]
+#:[[Файл:Edu-swi-prolog-install-synaptic-f.png]]
 #Закройте программу
@@ Строка 65: / Строка 69: @@
 {{:Education-console-install-common}}#Установите swi-prolog следующей командой:
 #:<syntaxhighlight lang="bash">
-# apt-get intall -y swi-prolog
+# apt-get install -y swi-prolog
 </syntaxhighlight>
 #:[[Файл:Edu-swi-prolog-install-console-a.png]]
@@ Строка 72: / Строка 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]]
+#Программа запущена.
 ==Удаление==
@@ Строка 92: / Строка 97: @@
 #Кликните по пакету ПКМ и выберите «Отметить для удаления»
 #:[[Файл: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-f.png]]
-#Программа начнёт удаление
+#Удаление завершено. Закройте диалоговое окно и окно программы.
 #:[[Файл:Edu-swi-prolog-remove-synaptic-g.png]]
-#Удаление завершено. Закройте диалоговое окно и окно программы.
-#:[[Файл:Edu-swi-prolog-remove-synaptic-h.png]]
 ===Терминал===