• Chair of Syntax

  • Staff
  • Projects
  • Events
  • Teaching
  • Resources
  • Software
  • Jobs
  • Language Science Press
  • Contact

Installation des TRALE-Systems mit SICStus-Prolog 4.0 für Mac

Diese Web-Seite erklärt Ihnen, wie Sie TRALE für den Mac installieren können. Ich habe die Installation in einer virtuellen Maschine auf dem Mac ausgeführt und das aufgezeichnet. Wenn Sie möchten, können Sie sich das Video der Installation angucken.

1. Installieren Sie emacs: https://emacsformacos.com/.
2. Installieren Sie homebrew. Dazu brauchen Sie Xcode (die Developer-Tools von Apple). Dazu brauchen Sie ein aktuelles Betriebssystem.
   1. Installieren Sie hombrew. Geben Sie dazu in einem Terminal folgendes ein:

      /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
      

      Wenn Xcode nicht installiert ist, sollte homebrew es herunterladen. Falls das nicht klappt, installieren Sie XCode aus dem App-Store. (wenn nötig, aktualisieren Sie Ihr Betriebssystem)

      Am Ende der Installation sollte etwas stehen wie:

      echo >> /Users/NUTZERNAME/.zprofile
      echo 'eval "$(/opt/homebrew/bin/brew shellenv)"' >> /Users/NUTZERNAME/.zprofile
      eval "$(/opt/homebrew/bin/brew shellenv)" 
      

      NUTZERNAME steht dabei für Ihren Login-Namen. Kopieren Sie das und führen Sie das in Ihrem Fenster aus.
3. Installieren Sie Java:
   • Das können Sie entweder tun, indem Sie Java hier runterladen und installieren https://www.java.com/en/download/manual.jsp
   • Oder Sie benutzen hombrew dafür und geben folgendes ein:

     brew install openjdk
     

4. Installieren Sie SICStus-Prolog: https://sicstus.sics.se/sicstus/products4/sicstus/4.10.1/binaries/darwin/sp-4.10.1-x86_64-darwin-21.0.0.tar.gz. Für die Verwendung brauchen Sie eine Lizenz. Wenn Sie Angehörige der HU-Berlin (Student*in oder Mitearbeiter*in sind, können Sie die Site-Lizenz der HU benutzen. Bitte schreiben Sie mir (von einer HU-Addresse) bzgl. der Schlüssel. Die Installation ist auch auf der Seite https://sicstus.sics.se/download4.html erklärt. Führen Sie folgenden Schritte aus:

   cd ~/Downloads
   tar xzvf <downloaded-file>.tar.gz
   

   Es kann sein, dass der Browser die gz-Datei schon auspackt. In diesem Fall müssen Sie Folgendes aufrufen:

   tar xvf <downloaded-file>.tar
   

   Danach mit cd in das entsprechende Verzeichnis setzen und SICStus installieren:

   cd sp-<version>-<platform>
   sudo ./InstallSICStus
   

   Bei der Passwortabfrage müssen Sie einfach Ihr Nutzerpasswort eingeben und Enter drücken. Die Buchstaben, die Sie eingeben, werden nicht angezeigt. Einfach tippen und dann Enter drücken.
5. Fügen Sie folgende Zeilen der Datei .zshrc hinzu (bzw. etwas Analoges zur entsprechenden Datei Ihrer Shell):

   path+=("/usr/local/sicstus4.10.1/bin")
   path+=("$HOME/bin")
   
   alias trale="trale -u -x -g -c theory.pl"
   

6. Es müsste nun möglich sein, von einem Terminal aus sicstus aufzurufen:

   sicstus
   SICStus 4.10.0 (x86_64-darwin-21.6.0): Tue Mar 11 12:56:25 CET 2025
   Licensed to hu-berlin.de
   | ?- 
   

   Das ?- ist der Prolog-Prompt. Mit Ctrl-D bzw. Strg-D können Sie Prolog abbrechen und mit der Installation fortfahren.
7. Installieren Sie Trale:
   1. Laden Sie das Trale-System herunter: https://hpsg.hu-berlin.de/Software/Trale/trale.tbz.
   2. Erzeugen Sie das Verzeichnis Trale und ein Unterverzeichnis für die Grammatiken. Geben Sie dazu im Terminal folgendes ein:

      cd
      mkdir Trale
      

   3. Entpacken Sie die Trale-Datei im Trale-Verzeichnis:

      cd Trale
      tar xjvf ~/Downloads/trale.tbz
      

   4. Erzeugen Sie ein lokales Verzeichnis für ausführbare Dateien:

      mkdir ~/bin
      

      Verlinken Sie die ausführbaren Dateien in ~/bin/:

      cd ~/bin
      ln -s ~/Trale/new-trale-git/trale-mac trale
      ln -s ~/Trale/new-trale-git/gralej/trunk/gralej/gralej
      

8. Erzeugen Sie ein Unterverzeichnis für die Grammatiken:

   cd ~/Trale
   mkdir Grammatiken
   

9. Laden Sie die Grammatiken herunter, mit denen Sie arbeiten wollen. Zum Beispiel die Grammatiken für den Grammatikentwicklungskurs.
10. Entpacken Sie die Grammatiken im Verzeichnis ~/Trale/Grammatiken:

    cd ~/Trale/Grammatiken
    tar xzvf ~/Downloads/grammatiken.tgz
    

    Falls Sie Safari als Browser benutzen, packt der die Grammatik-Datei schon aus, so dass es grammatiken.tgz nicht gibt. Geben Sie dann Folgendes ein:

    cd ~/Trale/Grammatiken
    tar xvf ~/Downloads/grammatiken.tar
    

11. Setzen Sie sich in das Verzeichnis mit der Grammatik, mit der Sie arbeiten wollen. Zum Beispiel:

    cd ~/Trale/Grammatiken/Grammatik1
    

12. Rufen Sie trale auf.

    trale
    

    Es sollte sich ein emacs-Fenster und ein gralej-Fenster öffnen. Im emacs-Fenster sollte Prolog gestartet und Trale geladen werden. Danach sollte die Grammatik aus dem Verzeichnis, in dem Sie sitzen, geladen werden. Im emacs-Fenster können Sie nun go. eingeben. Es erscheint ein Prompt: >>>. Nach diesem Prompt können Sie Sätze eingeben, die analysiert werden sollen. Ist der Satz mit der jeweiligen Grammatik analysierbar, erscheint ein Fenster mit dem Baum. Bei Grammatik1 können Sie zum Beispiel „Bellt der Hund?“ eingeben.
13. Installieren Sie graphviz (für die Ausgabe von Typhierarchien).
    1. Installieren Sie den SVGviewer aus dem Appstore. (Alternativ kann man auch einfach Safari zur Anzeige von svg-Dateien verwenden.)
    2. Stellen Sie den SVGviewer als Ausgabe-App für Dateien mit der Endung svg ein. Wenn Sie das nicht wollen, können Sie unten bei der Spezifikation von graphviz_option statt „open“ den Pfad zum SVGviewer direkt hinschreiben.
    3. Installieren sie graphviz. Geben Sie dazu folgendes in einem Terminal ein:

       brew install graphviz 
       

    4. Passen Sie in ihrer Grammatik die Ausgabe für die Typhierarchien an: In der Datei setup.pl oder theory.pl muss die Zeile graphviz_option(svg,'sleep 0.1; open'). stehen.
    5. Jetzt müsste es möglich sein, über das Emacs-Menü für Trale eine Typhierarchie auszugeben. Ein Fenster mit der Hierachie müsste sich nach Eingabe eines Typs (z.B. bot) öffnen. Wenn die Anzeige leer ist, liegt das eventuell an Timing-Problemen. Sie können dann in der Datei setup.pl im Grammatikverzeichnis die Verzögerung verlängern, indem sie die Zahl nach sleep vergrößern: graphviz_option(svg,'sleep 0.5; open').
14. Installieren Sie das Chartdisplay:
    1. Installieren Sie tcl/tk:

       brew install tcl-tk
       

    2. Kopieren Sie die Konfigurationsdatei für das Chartdisplay:

       cp ~/Trale/new-trale-git/dot-files/\.* ~
       

       Es sind Konfigurationsdateien für verschiedenen Monitorgrößen vorhanden. Wenn Sie einen Monitor mit der Auflösung 1920x1200 oder größer besitzen, wenden Sie die folgenden Kommandos an:

       cd ~
       ln -s .chartdisplay-1024x768 .chartdisplay
       

       Beim Analysieren von Sätzen müsste sich ab Grammatik 2 ein Fenster mit der Parse-Chart öffnen.
    3. Wenn es einen Fehler mit setsid in der Fehlermeldung gibt, installieren Sie die unix-Tools, damit setsid funktioniert.

       brew install util-linux
       

       Führen Sie am Ende der Installation des Pakets die Anweisungen aus, die brew ausgibt, damit die entsprechenden Suchpfade gesetzt werden.
15. Feiern Sie!