To continue the guided tour go back where You came fromContinue reading the hints in German (...)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}To continue the guided tour go back where You came fromContinue reading the hints in German