% ILP-503 (Prof. Dr. Silvio do Lago Pereira)

inicial(a).

meta(j).

ação(vai(P,Q), P, Q, D) :-
   via(P, Q, D).

via(a, b, 4.0).  via(a, d, 5.8).
via(a, e, 3.2).  via(a, h, 7.0).
via(b, c, 3.2).  via(c, f, 4.0).
via(d, c, 2.8).  via(d, j, 5.8).
via(e, g, 2.2).  via(f, i, 3.2).
via(g, j, 3.0).  via(h, j, 2.2).
via(i, d, 5.1).  via(i, j, 4.0).
via(j, a, 8.2).

