Technische Dokumentation zum XHTML-Skript "Techniken der Logikprogrammierung" Inhalt dieses Dokuments: 1. Einführung 2. Struktur der XHTML-Dokumente 3. Beschreibung der verwendeten Klassen 4. Liste geeigneter Web-Browser 5. Liste der vorhandenen Dateien 1. Einführung Dieses Skriptum wurde im Zuge einer Projektarbeit auf XHTML-Standard gebracht und dabei auch übersichtlicher strukturiert und mit einer zweiten Darstellungsvariante versehen. Möglich ist es nun mit geeigneten Browsern (siehe Abschnitt 4) sowohl eine Volldarstellung des Skripts, als auch eine stichpunktorientierte Variante für eine Folien-Präsentation darzustellen. Der Wechsel zwischen den beiden Darstellungsformen erfolgt per Wechsel des Stylesheets, wie im Standard des W3C festgelegt. Leider unterstützen z.Zt. noch nicht alle Browser diesen Standard. 2. Struktur des Skriptum Jedes Kapitel des Skriptum wird durch eine eigene Datei repräsentiert, deren Dateiname sich aus der Kapitelnummer und dem Titel des Kapitels (teilweise abgezürzt) zusammensetzt. Innerhalb dieser XHTML-Dateien wurden folgende (gebräuchlichen) Bezeichner zur Strukturierung verwendet: - chapter : Enthält ein Kapitel, umfasst in diesem Fall also praktisch den gesamten Inhalt der Datei - section : Enthält einen Abschnitt eines Kapitels - subsection : Enthält einen Unterabschnitt Bei diesem Skriptum war keine tiefere Hierarchieebene nötig, theoretisch lassen sich aber beliebig viele einfügen (subsubsection, ...) Desweiteren wurden folgende Bezeichner eingeführt: - fulltext : Enthält den Inhalt der Volldarstellung des Skriptum - slide : Enthält den Inhalt der Folien-Präsentation - slidebody : Enthält den sachlichen Inhalt der einzelnen Folien Diese Untergliederung wurde hier auf der section-Ebene eingesetzt, kann aber auf jeder Hierarchieebene verwendet werden (abhängig vom Umfang des Inhalts). 3. Beschreibung der verwendeten Klassen Neben der Verwendung von Klassen zur besseren Strukturierung wurden weitere Klassennamen vergeben, um den Text entsprechend seiner Bedeutung zu klassifizieren. Folgende Klassen wurden für das Tag "div" verwendet (
): Klassen zur Strukturierung: siehe Abschnitt 2 Klassen zur Navigation: - chapternav : Navigationsleiste am Anfang und Ende jedes Kapitels in der Volldarstellung des Skriptum - navbar : Navigationsleiste auf jeder Folie Klassen zur semantischen Einteilung: - code : Code - comment : Kommentare, Anmerkungen - content : Allgemeiner, nicht näher spezifizierter Inhalt - definition : Definitionen - example : Beispiele - explanation : Kurze Erklärungen - formula : Formeln - graph : Graphen - introduction : Einführende Texte (meist am Anfang eines Abschnitts) - program : Erzeugt automatisch den Titel bei Programmen - proof : Beweise - theorem : Sätze - titeledExample: Beispiele ohne einführenden Text (die deshalb automatisch mit dem Titel "Beispiel:" versehen werden) Folgende Werte wurden für das "rel"-Attribut des "a"-Tag vergeben ( ): - next : nächste Folie im selben Kapitel - next-chapter : nächstes Kapitel (zu verwenden bei der letzten Folie eines Kapitels) - previous : vorige Folie im selben Kapitel - previous-chapter : voriges Kapitel (zu verwenden bei der ersten Folie eines Kapitels) - toc : zum Inhaltsverzeichnis Folgende Klasse wurde für das Tag "span" verwendet: - newConcept : für neu eingeführte Begriffe (wird hier unterstrichen dargestellt) 4. Liste geeigneter Web-Browser Folgende Browser wurden von uns getestet und verfügen über die Option, zwischen verschiedenen Stylesheets zu wechseln: - Netscape ab Version 6.0 - Mozilla ab Version 5.0 5. Liste der vorhandenen Dateien 00-startseite.html 01-grundbegriffe.html 02-prinzipien.html 03-zusammengesetzte-terme.html 04-hilfspraedikate.html 05-metainterpretation.html 06-steuerung.html 07-vorwaertsschliessen.html 08-produktionssysteme.html 09-reason-maintenance.html 10-satchmo.html 11-rueckwaertsschliessen.html Bericht.pdf /* Bericht über die Projektarbeit */ README.txt /* Diese Datei */ Unterverzeichnis Images: (Navigationsbuttons für die Folien-Präsentation) last.gif left.gif lmu.gif next.gif right.gif toc.gif up.gif Unterverzeichnis Stylesheets: folie.css skript.css