/* ------------------------------------------------------ */
/* Suchbeispiel  A-Stern                                  */
/*                    wann: 04/2001       wer: J. Cleve   */
/* benoetigt: astern.pl                                   */
/* ------------------------------------------------------ */
?-consult(swiast).
?-reconsult(astern).

% Ablaufverfolgung (yes) oder nicht (no)
dotrace(no).

/* ------------------------------------------------------- */
/*  Ab hier koennen Sie das jweilige Beispiel einfuegen    */

/* Beispiel 2*/
dist_goal(e,10) :- !.
dist_goal(_,1).

costs(a,b,9) :- !.
costs(b,d,10) :- !.
costs(_,_,1).

startzustand(a).
ziel_erreicht(d).
zustandsuebergang(X,Y) :- s(X,Y).
s(a,e).
s(e,c).
s(c,b).
s(a,b).
s(b,c).
s(b,d).


/* Ab hier nur aendern, wenn Sie wissen, was Sie tun .... */

zeige_kandidat([]) :- !.
zeige_kandidat([F|T]) :- zeige_kandidat(T),write(F).
zeige_zustand(F) :- write(F).
zustaende_gleich(F,F).