So installieren Sie SWI-Prolog unter Debian 13 Trixie, ohne den Versuch zu verlieren.

# Aktualisieren Sie den Paketindex, damit APT die neuesten Versionen kennt
# in den konfigurierten Repositorys verfügbar.
sudo apt update

# Installieren Sie das Hauptmetapaket. Mitbringen:
#   swi-prolog-core – der Compiler-Kern
#   swi-prolog-core-packages – Basispakete (clib, ssl, http usw.)
#   swi-prolog-nox – Binärdateien ohne X11-Abhängigkeiten
#   swi-prolog-x – XPCE, die Legacy-GUI basierend auf X11
# Wenn Sie nur am Server oder Terminal arbeiten, verwenden Sie stattdessen swi-prolog-nox.
sudo apt install swi-prolog

# Nur der Interpreter, ohne Abhängigkeit von der grafischen Umgebung.
# Ideal für Server, Skripte oder Container.
sudo apt install swi-prolog-nox

# Alles enthalten: Kern + GUI + Java (JPL) + ODBC + BerkeleyDB + Dokumentation.
sudo apt install swi-prolog-full

# HTML-Dokumentation und Beispiele (kann zusammen mit jeder Variante installiert werden).
sudo apt install swi-prolog-doc

# Java↔Prolog (JPL)-Schnittstelle. Erfordert die Installation eines JDK.
sudo apt install swi-prolog-java

# Zeigt die installierte Version an und wird beendet.
swipl --version

# Öffnen Sie den interaktiven Interpreter. Schreibe halt. ausgehen.
swipl

# Update (wird normalerweise mit dem gesamten System durchgeführt).
sudo apt update && sudo apt upgrade

# Deinstallieren Sie den Interpreter und die zugehörigen Pakete.
# Das Muster „swi-prolog*“ deckt alle Unterpakete ab.
sudo apt purge 'swi-prolog*'

# Bereinigen Sie Abhängigkeiten, die nach der Deinstallation verwaist waren.
sudo apt autoremove

# Installieren Sie den Flatpak-Client aus den Debian-Repositorys.
sudo apt install flatpak

# Fügen Sie Flathub als Remote-Repository hinzu.
# --if-not-exists verhindert einen Fehler, wenn er bereits gesetzt wurde.
# Die .flatpakrepo-Datei lädt den GPG-Schlüssel von Flathub herunter und registriert ihn.
flatpak remote-add --if-not-exists flathub \
    https://dl.flathub.org/repo/flathub.flatpakrepo

# Installieren Sie SWI-Prolog von Flathub.
# Die App-ID lautet org.swi_prolog.swipl.
# Dadurch wird die Freedesktop SDK-Laufzeitumgebung heruntergeladen, falls Sie diese noch nicht haben.
# plus SWI-Prologs eigene Dateien (insgesamt mehrere hundert MB).
# bei der ersten Installation).
flatpak install flathub org.swi_prolog.swipl

# Expliziter Weg: Startet Swipl (Konsoleninterpreter) in der Sandbox.
# --command=swipl wählt die Binärdatei im Flatpak aus
# anstelle des Standard-Launchers (der swipl-win öffnet).
flatpak run --command=swipl org.swi_prolog.swipl

# Für das GUI-Fenster:
flatpak run org.swi_prolog.swipl

# Öffnen Sie Ihre Bash-Konfigurationsdatei mit Ihrem Editor.
# Ändern Sie ~/.bashrc in ~/.zshrc, wenn Sie Zsh verwenden.
nano ~/.bashrc

# Alias ​​​​um SWI-Prolog (Flatpak) im aktuellen Terminal aufzurufen,
# ohne dass ein separates GUI-Fenster geöffnet wird.
alias swipl='flatpak run --command=swipl org.swi_prolog.swipl'

# Optionaler Alias ​​für das GUI-Fenster, wenn Sie es wünschen.
alias swipl-win='flatpak run org.swi_prolog.swipl'

source ~/.bashrc

# Bei aktivem Alias ​​funktioniert dies bereits wie erwartet.
swipl --version

# Aktualisiert alle auf dem System installierten Flatpaks, einschließlich SWI-Prolog.
flatpak update

# Deinstallieren Sie nur SWI-Prolog.
flatpak uninstall org.swi_prolog.swipl

# Löschen Sie auch ungenutzte Laufzeiten.
flatpak uninstall --unused

# Basistools: C/C++-Compiler, CMake, Ninja (schnellere Alternative
# zu erstellen), pkg-config, um Systembibliotheken zu finden.
sudo apt install -y \
    build-essential cmake ninja-build pkg-config git

# Terminalschnittstelle und Zeilenbearbeitungsbibliotheken.
# ncurses-dev – Terminals und Menüs im Textmodus.
# libedit-dev – Zeilenbearbeitung (Alternative zu readline).
sudo apt install -y \
    ncurses-dev libedit-dev

# tcmalloc – Google-Speicherzuweiser. Reduziert die Speichernutzung
# Multithread-Anwendungen. Verbessert die Leistung auf Servern.
# libgmp-dev: Arithmetik mit beliebiger Genauigkeit (große ganze Zahlen,
# rationale Zahlen). Ohne diese Abhängigkeit verwendet SWI die interne (langsamere) LibBF.
sudo apt install -y \
    libgoogle-perftools-dev libgmp-dev

# SSL/TLS für das Bibliotheksmodul (SSL) und HTTPS-Verbindungen.
sudo apt install -y libssl-dev

# ODBC: Schnittstelle für relationale Datenbanken über Bibliothek (odbc) / CQL.
sudo apt install -y unixodbc-dev

# Komprimierung und Dateiformate.
# zlib1g-dev – grundlegende Komprimierung.
# libarchive-dev – .tar.gz, .zip usw. lesen/schreiben (Bibliothek(Archiv))
#                  wird auch von pack_install/1 benötigt.
sudo apt install -y zlib1g-dev libarchive-dev

# UUID, BerkeleyDB und PCRE2.
# libossp-uuid-dev – Bibliothek(uuid). Ohne dies wird eine reine Prolog-Implementierung verwendet.
# libdb-dev – Bibliothek (bdb), Schnittstelle zu BerkeleyDB.
# libpcre2-dev – Bibliothek (pcre), reguläre PCRE2-Ausdrücke.
sudo apt install -y libossp-uuid-dev libdb-dev libpcre2-dev

# YAML- und Unicode-Textverarbeitung.
# libyaml-dev – Bibliothek (yaml).
# libutf8proc-dev – Bibliothek (Unicode), Unicode-Normalisierung.
sudo apt install -y libyaml-dev libutf8proc-dev

# Python 3 und Einbettungsschnittstelle (Janus: Rufen Sie Python aus Prolog auf
# und umgekehrt). Auch für den Python MQI-Server erforderlich.
sudo apt install -y python3 libpython3-dev

# Abhängigkeiten für die GUI (XPCE mit SDL3 + Cairo + Pango).
# Ab SWI-Prolog 9.3.26 verwendet die GUI X11 nicht mehr direkt:
# verwendet SDL3 für Windows, Cairo für Vektorzeichnungen und Pango für Text.
# libsdl3-dev – Windows, Tastatur-/Mausereignisse.
# libsdl3-image-dev – Bilder in die GUI laden.
# libcairo2-dev – 2D-Vektor-Rendering.
# libpango1.0-dev – Textwiedergabe mit Schriftarten.
# Debian 13 enthält SDL3 nativ, im Gegensatz zu Debian 12.
sudo apt install -y libcairo2-dev libpango1.0-dev libsdl3-dev libsdl3-image-dev

# Java (JPL: Java↔Prolog bidirektionale Schnittstelle) und seine Testsuite.
# junit4 ist seit Version 8.1.29 für JPL-Tests erforderlich.
sudo apt install -y default-jdk junit4

# Klonen Sie das Entwicklungs-Repository. --recurse-submodules ist erforderlich:
# SWI-Prolog verfügt über seine Pakete als unabhängige Git-Submodule
# (clib, ssl, http, pengines usw.) und ohne diese Option wären sie leer.
git clone --recurse-submodules https://github.com/SWI-Prolog/swipl-devel.git

cd swipl-devel

# Listet die neuesten stabilen Versions-Tags auf (gerade Versionsnummer = stabil).
# Die Versionen mit der ungeraden Nebennummer (9.1.x, 9.3.x) sind Entwicklungsversionen.
git tag -l 'V*' | grep -E 'V[0-9]+\.[02468]+\.' | sort -V | tail -10

# Schauen Sie sich das ausgewählte Tag an. Ersetzen Sie V9.2.9 durch die von Ihnen bevorzugte Version.
git checkout V9.2.9

# Aktualisiert die Submodule auf den Status, der diesem Tag entspricht.
git submodule update --init --recursive

# Erstellen Sie das Build-Verzeichnis. Per Konvention wird es „Build“ genannt.
# CMake berührt niemals den Quellbaum – alle generierten Dateien
# (Makefiles, Objekte, Binärdateien) gehen in dieses Verzeichnis.
mkdir build && cd build

# Konfigurieren Sie den Build.
#
# -DCMAKE_BUILD_TYPE=PGO
#   Profilgeführte Optimierung: Kompiliert das System zweimal.
#   Erster Durchgang: Instrumentiert zum Sammeln von Ausführungsstatistiken.
#   Zweiter Durchgang: Verwenden Sie diese Statistiken, um die Verzweigungsvorhersage zu optimieren.
#   Inlining usw. Erzeugt einen Interpreter, der etwa 30–40 % schneller ist als Release.
#
# -DCMAKE_INSTALL_PREFIX=/usr
#   Definiert, wo die Dateien installiert werden (Binärdateien in /usr/bin,
#   Bibliotheken in /usr/lib usw.). Dieser Wert wird in der .deb-Datei aufgezeichnet
#   dass CPack generiert, also wenn APT das Paket installiert, die Dateien
#   sie werden genau nach /usr gehen. Verwenden Sie /usr/local, wenn Sie es vorziehen, nicht damit zu vermischen
#   Systempakete.
#
# -G Ninja
#   Verwenden Sie Ninja als Build-Backend anstelle des klassischen Makes.
#   Ninja parallelisiert Abhängigkeiten besser und gibt Fortschrittsausgaben aus
#   besser lesbar. Wenn Sie make bevorzugen, lassen Sie dieses Flag einfach weg.
cmake -DCMAKE_BUILD_TYPE=PGO \
      -DCMAKE_INSTALL_PREFIX=/usr \
      -G Ninja \
      ..

# Kompilieren Sie mit allen verfügbaren Kerneln.
# Ninja parallelisiert bereits automatisch; Sie brauchen -j $(nproc) nicht explizit,
# Sie können es jedoch weitergeben, wenn Sie die Last anpassen möchten.
ninja

# Führen Sie die Testsuite mit allen verfügbaren Kernen aus.
# --output-on-failure zeigt die vollständige Ausgabe eines beliebigen Tests an
# scheitern, was die Diagnose erleichtert.
# Jeder ctest-"Test" lädt tatsächlich eine Prolog-Datei, die dies kann
# Hunderte von Behauptungen intern ausführen.
ctest -j $(nproc) --output-on-failure

# Generieren Sie das Paket. CPack erkennt automatisch, dass apt verfügbar ist
# und erzeugt eine .deb. Wenn Sie es explizit sagen möchten:
#   cpack -G DEB → Debian-Format erzwingen
#   cpack -G RPM → Red Hat-Format erzwingen (für Fedora/RHEL)
cpack

# Die resultierende Datei hat einen ähnlichen Namen wie:
#   swipl-10.1.5-1.amd64.deb
# und befindet sich im aktuellen build/-Verzeichnis.
ls -lh swipl-*.deb

sudo apt purge 'swi-prolog*' && sudo apt autoremove

# Die Verwendung von „apt install ./file.deb“ anstelle von „dpkg -i“ hat einen Vorteil
# Wichtig: APT löst eventuelle Abhängigkeiten automatisch auf
# fehlen, anstatt mit einem dpkg-Fehler fehlzuschlagen und Sie dazu zu zwingen
# 'apt -f install' unten.
# Das führende „./“ ist erforderlich, damit apt das Argument interpretieren kann
# als lokaler Pfad und nicht als Repository-Paketname.
sudo apt install ./swipl-*.deb

cd swipl-devel

# Bringt die neuesten Änderungen aus dem Remote-Repository.
git pull

# Aktualisiert die Submodule auf die Versionen, auf die der neue HEAD verweist.
git submodule update --init --recursive

# Gehen Sie zurück zum Build-Verzeichnis und konfigurieren Sie es bei Bedarf neu.
cd build
cmake ..
ninja
cpack

# Installieren Sie die neue .deb über die alte. APT verwaltet es als
# normales Update (ersetzt das vorherige Paket).
sudo apt install ./swipl-*.deb

# Da die .deb-Datei über APT installiert wurde, wird sie wie jede andere deinstalliert
# noch ein Paket. Der von CPack generierte Paketname lautet „swipl“.
sudo apt purge swipl
sudo apt autoremove

# curl – lädt den GPG-Schlüssel vom Ubuntu-Schlüsselserver herunter.
# gnupg: verarbeitet (lieber) den Schlüssel vom ASCII-Format ins Binärformat.
# ca-certificates: Stammzertifikate für Curl zur Validierung von HTTPS.
sudo apt update
sudo apt install -y curl gnupg ca-certificates

# Erstellen Sie das Schlüsselbundverzeichnis, falls es noch nicht vorhanden ist.
# -d → das Verzeichnis erstellen (und alle erforderlichen übergeordneten Elemente).
# -m 0755 → Berechtigungen: von jedem lesbar und ausführbar, nur von Root beschreibbar.
sudo install -d -m 0755 /etc/apt/keyrings

# Laden Sie den öffentlichen PPA-Schlüssel vom Ubuntu-Schlüsselserver herunter und
# konvertiert vom ASCII-gepanzerten Format (das von Schlüsselservern ausgegebene) in
# Binärformat, das apt in /etc/apt/keyrings/ erwartet.
#
# curl -fsSL:
#   -f → schlägt stillschweigend fehl, wenn der Server einen HTTP-Fehler zurückgibt.
#   -s → Silent-Modus (zeigt keinen Fortschritt an).
#   -S → zeigt Fehler an, auch wenn -s aktiv ist.
#   -L → folgt HTTP-Weiterleitungen.
#
# gpg --dearmor:
#   Konvertiert den PEM/ASCII-Schlüssel in das OpenPGP-Binärformat.
#
# -o /etc/apt/keyrings/swi-prolog.gpg:
#   Schreiben Sie mit sudo direkt an das endgültige Ziel.
curl -fsSL \
  "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x73E75048FF27533C0D8DC521EF8406856DBFCA18" \
  | sudo gpg --dearmor -o /etc/apt/keyrings/swi-prolog.gpg

# Berechtigungen festlegen: Für alle lesbar (apt liest es als Root, aber
# Es empfiehlt sich, es lesbar zu lassen.
sudo chmod 0644 /etc/apt/keyrings/swi-prolog.gpg

# Listet die Schlüssel des neu erstellten Schlüsselbunds auf.
# Sie sollten den Fingerabdruck 73E7 5048 FF27 533C… und die UID sehen
# „Launchpad PPA für SWI Prolog“ .
gpg --no-default-keyring \
    --keyring /etc/apt/keyrings/swi-prolog.gpg \
    --list-keys

# Erstellen Sie die Schriftartdatei. Hier wird tee verwendet, um mit sudo zu schreiben.
# Das Heredoc (<<EOF … EOF) übergibt den mehrzeiligen Inhalt als stdin.
sudo tee /etc/apt/sources.list.d/swi-prolog.sources > /dev/null <<EOF
# Repository: SWI-Prolog Stable PPA
# Quelle: https://launchpad.net/~swi-prolog/+archive/ubuntu/stable
# Dokumentation zum DEB822-Format: man resources.list

# Typen: deb → Binärpakete. Fügen Sie „deb-src“ hinzu, wenn Sie die Quellen benötigen.
Types: deb

# URIs: die Basis-URL des PPA. Beachten Sie, dass es /stable/ubuntu ist, nicht /trixie.
# Ändern Sie für den Entwicklungszweig „stable“ in „devel“.
URIs: https://ppa.launchpadcontent.net/swi-prolog/stable/ubuntu

# Suites: der Ubuntu-Codename mit Glibc, kompatibel mit Debian 13 Trixie.
# Schreiben Sie hier NICHT „trixie“: Dieser Codename existiert nicht im PPA.
Suites: noble

# Komponenten: „main“ ist die Standard-PPA-Komponente.
# Fügen Sie „main/debug“ hinzu, wenn Sie auch die -dbgsym-Pakete möchten.
Components: main

# Architekturen: Beschränken Sie das Herunterladen von Indizes auf Ihre Architektur.
# Verhindern Sie, dass apt unnötigerweise versucht, Listen für i386, arm64 usw. herunterzuladen.
# Ändern Sie es in „arm64“, wenn Sie einen Raspberry Pi 4/5 oder ähnliches verwenden.
Architectures: amd64

# Signiert von: Verknüpfen Sie DIESE Quelle mit DIESEM Schlüssel. Der Schlüssel ist nur gültig
# für dieses Repository und wird nicht in einen globalen Vertrauensschlüssel umgewandelt.
# Dies ist der korrekte Sicherheitsmechanismus in Debian 12+.
Signed-By: /etc/apt/keyrings/swi-prolog.gpg
EOF

# Lädt die Indizes aller konfigurierten Repositorys herunter, einschließlich
# das neu hinzugefügte PPA. Sie sollten eine Zeile wie diese sehen:
#   Get:N https://ppa.launchpadcontent.net/swi-prolog/stable/ubuntu mit dem Titel InRelease
# Wenn Sie eine 404 oder „Es ist keine Release-Datei vorhanden“ sehen, überprüfen Sie den Suites:-Wert.
sudo apt update

# Installieren Sie SWI-Prolog vom PPA. APT wählt automatisch aus
# höchste verfügbare Version zwischen dem PPA und den Debian-Repositories.
# Da das PPA 10.x und Debian 9.2.9 hat, wird das PPA gewinnen.
sudo apt install swi-prolog

sudo tee /etc/apt/preferences.d/swi-prolog.pref > /dev/null <<EOF
# Legt die Präferenz für das SWI-Prolog PPA gegenüber jeder anderen Quelle fest.
#
# Paket: Das Muster „swi-prolog*“ deckt das Metapaket und alles ab
# Unterpakete: swi-prolog-core, swi-prolog-nox, swi-prolog-x usw.
Package: swi-prolog*

# Pin: Identifiziert die Quelle anhand des Hostnamens. launchpadcontent.net ist das
# Domäne aller auf Launchpad gehosteten PPAs.
Pin: origin "ppa.launchpadcontent.net"

# Pin-Priorität: 1001
#   > 1000 → Dieses Paket wird sogar gegenüber neueren Versionen bevorzugt
#             in anderen Repositorys und ermöglicht Ihnen ein Downgrade des PPA
#             ggf.
#   Ohne diese Datei beträgt die Standardpriorität 500.
Pin-Priority: 1001
EOF

# Zeigt, woher der Installationskandidat kommt und mit welcher Priorität.
# Die PPA-Leitung muss zuerst mit der Priorität 1001 erscheinen.
apt-cache policy swi-prolog

swipl --version

# Bearbeiten Sie die Quelldatei und fügen Sie „main/debug“ zu „Komponenten“ hinzu.
sudo nano /etc/apt/sources.list.d/swi-prolog.sources
# Ändere die Zeile:
#   Komponenten: Hauptbestandteile
# von:
#   Komponenten: main main/debug

sudo apt update

# Installieren Sie Kernel-Debug-Symbole.
# -dbgsym-Pakete sind für alle Unterpakete verfügbar.
sudo apt install swi-prolog-nox-dbgsym

# Bearbeiten Sie die Quelldatei und ändern Sie in den URIs „stable“ in „devel“.
sudo nano /etc/apt/sources.list.d/swi-prolog.sources

sudo apt update

# Neu installieren, um die Entwicklungsversion zu erhalten.
sudo apt install --reinstall swi-prolog

# Entfernen Sie SWI-Prolog und seine Konfigurationsdateien.
sudo apt purge 'swi-prolog*'
sudo apt autoremove

# Löschen Sie die PPA-Quelldatei.
sudo rm /etc/apt/sources.list.d/swi-prolog.sources

# Entfernen Sie den GPG-Schlüssel aus dem PPA.
sudo rm /etc/apt/keyrings/swi-prolog.gpg

# Löschen Sie die Pinning-Datei (sofern Sie sie erstellt haben).
sudo rm -f /etc/apt/preferences.d/swi-prolog.pref

# Aktualisiert die Indizes, um die Entfernung des PPA widerzuspiegeln.
sudo apt update