有以下事实，
x(p1,d1,c,d,e,f),
y(d1,d2,i,j,k,l),
z(d2,d3,o,p,q,r),
将它们视为分数，我希望从x移动到z进行p1和d3输入。
有：
write('Partida: '),nl,
read(Partida_it),
write('Destino: '),nl,
read(Destino_it),
viagem(Partida_it,Destino_it,C,D,E,F),nl,
write(Partida_it),write('<-->'),write(Destino_it),nl,
write('Tipo: '),write(C),nl,
write('Hora de partida: '),write(D),nl,
write('Hora de chegada: '),write(E),nl,
write('Preco: '),write(F),nl,
fail,
如果连接已存在^
viagem(Partida_it,B,C,D,_,P1),nl,
viagem(B,Destino_it,F,_,E,P2),nl,
P is P1+P2,
write(Partida_it),write('<-->'),write(Destino_it),nl,
write('Tipo: '),write(C),write('e'),write(F),nl,
write('Hora de partida: '),write(D),nl,
write('Hora de chegada: '),write(E),nl,
write('Preco: '),write(P),nl,
fail.
我现在卡在这里，感谢任何帮助！