grafos.pl

%aristas dirigidas
aristaDirigida(d,h,4).
aristaDirigida(h,f,9).
aristaDirigida(i,f,11).
aristaDirigida(f,g,10).
aristaDirigida(b,b,5).
aristaDirigida(g,h,6).
aristaDirigida(f,a,8).
aristaDirigida(a,b,7).
aristaDirigida(d,i,2).

%nodoNoAislado
noAislado(X):-
    nodosConectados(X,_).

%nodoAislado
aislado(X):-
    not(nodosConectados(X,_)).

%nodosConectados
nodosConectados(X,Y):-
    aristaDirigida(X,Y,_);aristaDirigida(Y,X,_).

%bucle
bucle(X):-
    aristaDirigida(X,X,_).

%camino entre dos nodos
camino(X,Y):-
    not(aristaDirigida(X,Y,_)),
    aristaDirigida(X,Z,_),
    camino(Z,Y).
camino(X,Y):-
    aristaDirigida(X,Y,_).

%costoDeLlegar
costoDeLlegarConNodoIntermedio(Inicio,Destino,Intermedio,Costo):-
    aristaDirigida(Inicio,Intermedio,Costo1),
    aristaDirigida(Intermedio,Destino,Costo2),
    Costo is Costo1 + Costo2.