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
```
Удаление завершено, закройте терминал.

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

@@ Строка 1: / Строка 1: @@
-{{stub}}
 {|class="wikitable" style="float:right; margin-left:2em"
 !colspan="2"|[[Файл:Education-8-logo.png|100px]]
@@ Строка 70: / Строка 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]]
@@ Строка 77: / Строка 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]]
+#Программа запущена.
 ==Удаление==
@@ Строка 97: / Строка 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]]
 ===Терминал===