Автор Тема: 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
  • Учиться .... Телепатами не рождаются, ими ....
    • Email
Re: swi prolog.org на ОС AltLinux SL x64
« Ответ #1 : 29.09.2016 11:55:26 »
А что это такое и зачем? А то так сразу и не поймешь.


Оффлайн Skull

  • Глобальный модератор
  • *****
  • Сообщений: 19 908
    • Домашняя страница
    • Email
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.