SICStus Prolog na FI

- Na stránky bude v brzké době doplněna nová distribuce 4.3.0, pokud chcete instalovat software na svůj počítač, doporučuji chvíli počkat.

- Lokální dokumentace je dostupná zde.

- SICStus Prolog na webu: http://www.sics.se/sicstus

- SICStus Prolog je podporován pro nejrůznější platformy včetně Linuxu a MS Windows.

- Na FI je SICStus Prolog nainstalován na počítačích v počítačové hale i v učebnách:
  • Aisa, modul sicstus-4.1.3, verze 4.1.3, tato verze podporuje nové IDE SPIDER, JDK 1.6 a Tcl/Tk 8.4
    Aisa, modul sicstus, verze 3.11.2
  • Anxur, modul sicstus-4.1.3, verze 4.1.3, tato verze podporuje nové IDE SPIDER, JDK 1.6 a Tcl/Tk 8.4
    Anxur, modul sicstus, verze 3.11.2
  • Nymfe*, modul sicstus-4.1.2, verze 4.1.2
    Nymfe*, modul sicstus, verze 3.11.2
  • Apollo, instalace v /opt/sicstus, verze 4.0.8 (tato verze podporuje Tcl/Tk 8.4)
  • na počítačích s MS Windows (včetně počítačové haly): verze 4.2.1, tato verze podporuje nové IDE SPIDER, JDK 1.6
POZOR: verze 3.* a verze 4.* jsou výrazně odlišné, je doporučeno používat novější verzi 4.*. Pokud chcete používat nové IDE SPIDER, je nutné nainstalovat verzi 4.3.* dostupnou z těchto stránek. Instalace pro pokyny k instalaci tohoto IDE najdete na stránkách SPIDER.

Pokud potřebujete nainstalovat SICStus Prolog na další počítače nebo chcete používat jinou verzi kontaktujte prosím správce softwaru, kterým je Hana Rudová.

- Po odsouhlasení licenčních podmínek je možné SICStus Prolog nainstalovat i na domácí počítače studentů.

Pro stažení softwaru je využíváno "sekundární heslo MU". Toto heslo je nutné nejprve vytvořit na ISu (pokud ho už nemáte), a pak teprve je možné příhlásit se na stránku s distribucí SICStus Prologu. Heslo z ISu bohužel k těmto účelům využívat nelze.

Podrobný postup pro vytvoření "sekundárního hesla MU sloužícího pro stahování pošty, pro vstup do Studovny na Komenského a do jiných systémů":

  • Klikněte na následující adresu: https://is.muni.cz/auth/system/heslo.pl#pop
  • Pokud už nejste příhlášeni do ISu, objeví se dialogové okno vyžadující Vaši přezdívku a heslo pro příhlášení na IS. Zadejte prosím požadované informace.
  • Dostanete se na stránku, kde si dvakrát zadáte heslo "pro POP přístup k poště a pro vstup do studovny Komenského".
    Toto heslo je pak možné použít jak "pro POP přístup k poště a pro vstup do studovny Komenského", tak i pro stahování SICStus Prologu. Při stahování SICStus Prologu bude heslo po síti posíláno v zašifrované podobě.

Zde je možné distribuce po zadání hesla "pro POP přístup k poště a pro vstup do studovny Komenského" stáhnout. Jako login pak použijte Vaši přezdívku na ISu nebo UČO.


Kódování češtiny
Hana Rudová