Как установить SWI Prolog в Windows?

SWI Prolog: SWI Prolog — это компьютерное программное обеспечение, которое используется для запуска программ, написанных на языке Prolog. Он разработан Яном Вилемейкером. Это бесплатное программное обеспечение, написанное на языке C, и его можно запускать на различных платформах, таких как Linux, Unix, Windows, Mac и т. д. SWI расшифровывается как Social-Wetenschappelijke Informatica, что означает «информатика социальных наук», на самом деле это название группы в университете. Амстердама, где работал Ян Вилемакер. Его первоначальный выпуск был в 1987 году, а его первый стабильный выпуск был в 2021 году. В этом программном обеспечении факты для любой логической программы могут быть записаны с использованием условного представления, а после компиляции программа может быть проверена на успех или неудачу.

Пролог: Пролог считается декларативным языком, а не языком программирования, поскольку он не используется для решения вычислительных задач. Он используется для решения логических задач, в которых используются правила или факты. Полная форма пролога — это программирование в логике. Пролог используется во многих задачах искусственного интеллекта, обработки естественного языка и машинного обучения. Пролог используется для записи фактов или правил для проблем, а затем система времени выполнения пролога проверяет эти факты и правила всякий раз, когда возникает проблема, и возвращает истинное или ложное утверждение в случае успеха или неудачи проблемы.

Установка SWI Prolog в Windows:

Выполните следующие шаги, чтобы установить SWI Prolog в Windows:

Шаг 1: Посетите веб-сайт swi-prolog.org с помощью любого веб-браузера.

Шаг 2: Нажмите «Загрузить», который находится рядом с «Главной», появится раскрывающийся список, затем нажмите «SWI-Prolog».

Шаг 3: Откроется новая веб-страница, нажмите «Стабильный выпуск».

Шаг 4: После нажатия на стабильную версию откроется новая веб-страница, которая будет содержать стабильные версии пролога для разных платформ. В бинарных файлах есть две стабильные версии для Windows, первая — SWI-Prolog 8.4.0-1 для Microsoft Windows (64-разрядная), а другая — SWI-Prolog 8.4.0-1 для Microsoft Windows (32-разрядная). Нажмите на тот, который соответствует конфигурации вашей системы. Возьмем вариант для 64-битной операционной системы.

Шаг 5. После нажатия на SWI-Prolog 8.4.0-1 для Microsoft Windows (64-разрядная версия) откроется новая веб-страница, установите флажок Я понимаю, чтобы активировать ссылку для загрузки. Затем нажмите на ссылку для скачивания, вскоре начнется загрузка исполняемого файла. Это небольшой файл размером 11,9 МБ, который вряд ли займет минуту.

Шаг 6: Теперь проверьте наличие исполняемого файла в загрузках в вашей системе и запустите его.

Шаг 7: Появится запрос на подтверждение внесения изменений в вашу систему. Нажмите Да.

Шаг 8: Появится экран настройки, нажмите «Далее».

Шаг 9: На следующем экране будет Лицензионное соглашение, нажмите «Я согласен».

Шаг 10: После этого появится экран параметров установки, поэтому установите флажок «Добавить swipl в системный путь для всех пользователей», а также установите флажок «Создать значок на рабочем столе» и нажмите кнопку «Далее».

Шаг 11: На следующем экране будет место установки, поэтому выберите диск, на котором будет достаточно места для установки. Для этого требовалось всего 50 МБ памяти.

Шаг 12: На следующем экране будет выбрана папка меню «Пуск», поэтому ничего не делайте, просто нажмите кнопку «Далее».

Шаг 13: Этот последний экран предназначен для выбора компонентов, все компоненты уже отмечены, поэтому ничего не меняйте, просто нажмите кнопку «Установить».

Шаг 14: После этого начнется процесс установки, который вряд ли займет минуту, чтобы завершить установку.

Шаг 15: Нажмите «Готово» после завершения процесса установки.

Шаг 16: SWI Prolog успешно установлен в системе, и на рабочем столе создается значок.

Шаг 17: Запустите программу и увидите интерфейс.

Поздравляем!! На данный момент вы успешно установили SWI-Prolog в своей системе Windows.