ООО «Базальт СПО»
|
Вики
|
Багтракер
|
Списки рассылки
|
Форум
|
Канал Telegram
|
Загрузки
|
Пакеты и обновления
|
FAQ
|
Репозитории
|
Поиск по ресурсам
Google
Яндекс
Стандартный
Форум сообщества
Альт Линукс
Добро пожаловать,
Гость
.
Пожалуйста,
войдите
или
зарегистрируйтесь
.
Не получили
письмо с кодом активации
?
1 час
1 день
1 неделя
1 месяц
Навсегда
Начало
Помощь
Поиск
Вход
Регистрация
Форум сообщества ALT Linux
»
Использование систем ALT
»
Установка/обновление/удаление/источники ПО
»
swi prolog.org на ОС AltLinux SL x64
« предыдущая тема
следующая тема »
Печать
Страницы: [
1
]
Автор
Тема: swi prolog.org на ОС AltLinux SL x64 (Прочитано 670 раз)
alex.dorin
Завсегдатай
Сообщений: 147
swi prolog.org на ОС AltLinux SL x64
«
:
29.09.2016 11:34:35 »
Здравствуйте !
Как установить swi prolog.org на ОС AltLinux SL x64 ?
http://www.swi-prolog.org/license.html
Записан
ruslandh
Поспешай не торопясь !
Модератор глобальный
Сообщений: 32 246
Учиться .... Телепатами не рождаются, ими ....
Re: swi prolog.org на ОС AltLinux SL x64
«
Ответ #1 :
29.09.2016 11:55:26 »
А что это такое и зачем? А то так сразу и не поймешь.
Записан
Руководство по управлению ошибками (если вы не пользовались багзилой)
alex.dorin
Завсегдатай
Сообщений: 147
Re: swi prolog.org на ОС AltLinux SL x64
«
Ответ #2 :
29.09.2016 11:57:20 »
https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F
)
Записан
Skull
Глобальный модератор
Сообщений: 19 908
Re: swi prolog.org на ОС AltLinux SL x64
«
Ответ #3 :
29.09.2016 12:16:30 »
Код:
[Выделить]
gprolog - GNU Prolog is a free Prolog compiler
swi-prolog - Prolog interpreter and compiler
Записан
Андрей Черепанов (cas@)
alex.dorin
Завсегдатай
Сообщений: 147
Re: swi prolog.org на ОС AltLinux SL x64
«
Ответ #4 :
29.09.2016 13:15:31 »
http://www.cs.miami.edu/~tptp/TPTP/TR/Utilities.shtml#Running
TPTP2X from within Prolog
TPTP2X is written in Prolog, and should run on most Prolog systems. It is known to run on current versions of Eclipse, SWI, and YAP Prolog. Before using TPTP2X, it is necessary to install the code for the dialect of Prolog that is to be used. This and other installation issues are described next.
Записан
Печать
Страницы: [
1
]
« предыдущая тема
следующая тема »
Форум сообщества ALT Linux
»
Использование систем ALT
»
Установка/обновление/удаление/источники ПО
»
swi prolog.org на ОС AltLinux SL x64