%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% romania

initial(arad).
goal(bucharest).

road(oradea,zerind,71). road(oradea,sibiu,151).
road(zerind,arad,75).
road(arad,sibiu,140). road(arad,timisoara,118).
road(timisoara,lugoj,111).
road(lugoj,mehadia,70).
road(mehadia,dobreta,75).
road(dobreta,craiova,120).
road(sibiu,rimnicu,80). road(sibiu,fagaras,99).
road(rimnicu,craiova,146). road(rimnicu,pitesti,97).
road(craiova,pitesti,138).
road(fagaras,bucharest,211).
road(pitesti,bucharest,101).
road(giurgiu,bucharest,90).
road(bucharest,urziceni,85).
road(neamt,iasi,87).
road(urziceni,vaslui,142). road(urziceni,hirsova,98).
road(iasi,vaslui,92).
road(hirsova,eforie,86).

straight(oradea,380).
straight(zerind,374).
straight(arad,366).
straight(timisoara,329).
straight(lugoj,244).
straight(mehadia,241).
straight(dobreta,242).
straight(sibiu,253).
straight(rimnicu,193).
straight(craiova,160).
straight(fagaras,178).
straight(pitesti,98).
straight(giurgiu,77).
straight(bucharest,0).
straight(neamt,234).
straight(urziceni,80).
straight(iasi,226).
straight(vaslui,199).
straight(hirsova,151).
straight(eforie,161).


transition(X,Y,Y,D) :- road(X,Y,D); road(Y,X,D).
h(S,D) :- straight(S,D).

write_action(A):-write(A).
write_state(S):-write(S).
