Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!
Kompakte Notation für Listen Strings von Latin1-Zeichen werden mittels Listen von Integers dargestellt. Solche Listen kann man kompakt unter Hochkommas schreiben. Dies ist jedoch nur eine syntaktische Variation. Die "Strings" sind in Wirklichkeit nur Listen von Ganzzahlen! :- [233,103,97,108,32,224,32,49] = "égal à 1". (Wenn ein Hochkomma in dem String vorkommen soll, dann das Hochkomma verdoppeln.) :- """" = [_]. % Ein Hochkomma *** Mißverständnis: :- element(x,[I,d,e,f,i,x]). Hier oben ist x ein Atom, I eine Variable, und die restlichen Elemente wiederum Atome. Es wird also zwei Lösungen geben: I = x und true. :/- element(x,"Idefix"). Hier vergleich man einen Latin1-String mit einem Atom x. Da die Elemente des Strings Ganzzahlen sind, kann es gar kein Element geben, das mit dem Atomx unifizierbar wäre. Einzelne Latin1-Zeichen, kann man wie folgt darstellen: :- 0'é = L. @@@ % L = 233. @@@ % Eine Lösung gefunden Zurück: \hinweis{init}