Description

Integriert SWI-Prolog in MathCoach, sodass Autoren aus dem LaplaceScript heraus auf dessen Funktionalität zugreifen können.

Build

Diese Anleitung installiert SWI-Prolog in $HOME/opt/swipl-7.6.4-rebuild, wobei $HOME ist das Home-Verzeichnis vom Benutzer, welcher später das MathCoach Server startet.

  1. Abhängigkeiten installieren (siehe http://www.swi-prolog.org/build/Debian.html )

    sudo apt-get install \
    build-essential autoconf curl chrpath pkg-config \
    ncurses-dev libreadline-dev libedit-dev \
    libunwind-dev \
    libgmp-dev \
    libssl-dev \
    unixodbc-dev \
    zlib1g-dev libarchive-dev \
    libossp-uuid-dev \
    libxext-dev libice-dev libjpeg-dev libxinerama-dev libxft-dev \
    libxpm-dev libxt-dev \
    libdb-dev \
    libpcre3-dev \
    libyaml-dev

  2. swipl-7.6.4.tar.gz entpacken, in das Verzeichnis wechseln

  3. cp build.temp build und editiere die Datei build:

    • 3.1 Setze PREFIX: PREFIX=$HOME/opt/swipl-7.6.4-rebuild

    • 3.2 Füge export JAVADOC='javadoc -Xdoclint:none' nach dem SUDO hinzu.

  4. Aus dem Shell: ./build

Test SWI-Prolog

  • Aufruf von $HOME/opt/swipl-7.6.4-rebuild/bin/swipl vom Shell muss die Version 7.6.4 zeigen

  • Das Module memfile muss installiert werden

cd $HOME/opt/swipl-7.6.4-rebuild
find | grep 'memfile'

Konfiguration MathCoach

  1. Konfig Mathcoach swi-prolog=$HOME/swipl-7.6.4-rebuild/bin/swipl -q -tty -nosignals