Datei:  memo.swi_prolog
Datum:  31.07.2002

Kommentar zum Aufruf der Beispieloesung fuer das Aufgabenblatt 6:

Da SWI-Prolog bei der Ausgabe des Unifikationsergebnisses bei langen
Termen Teile ausblendet und durch '...' ersetzt (nur in der Ausgabe), 
ist es sinnvoll bei Anfragen ein zusaetzliches 'write' fuer lange 
Ergebnisterme einzubauen:

  1 ?- [astar_8puzzle].

  2 ?- start([2,8,3,4,leer,5,7,1,6],AnzahlExpandierterKnoten,Pfad),
       write(Pfad).

  pfad(6, 6, 0, [1, 2, 3, 4, 5, 6, 7, 8, leer],
       [[1, 2, 3, 4, 5, 6, 7, leer, 8],
        [leer, 2, 3, 4, 5, 6, 7, 1, 8],
        [2, leer, 3, 4, 5, 6, 7, 1, 8],
        [2, 8, 3, 4, 5, 6, 7, 1, leer],
        [2, 8, 3, 4, 5, leer, 7, 1, 6],
        [2, 8, 3, 4, leer, 5, 7, 1, 6]])

  AnzahlExpandierterKnoten = 6
  Pfad = pfad(6, 6, 0, [1, 2, 3, 4, 5, 6, 7, 8|...],
              [[1, 2, 3, 4, 5, 6, 7|...],
               [leer, 2, 3, 4, 5, 6|...],
               [2, leer, 3, 4, 5|...],
               [2, 8, 3, 4|...],
               [2, 8, 3|...],
               [2, 8|...]])