f(fuguta,tara).
f(isono, katuo).
f(umino, asari).

fk(fuguta,cc).
fk(isono,bb).
fk(umino,aa).

ck(tara,o).
ck(katuo,b).
ck(asari,a).
ck(tako,c).
ck(ika,o).

pc(oo,o).
pc(ao,o).
pc(ao,a).
pc(bo,b).
pc(bo,o).
pc(co,a).
pc(co,b).
pc(aa,a).
pc(aa,o).
pc(ab,a).
pc(ab,b).
pc(ab,o).
pc(ab,c).
pc(ac,a).
pc(ac,b).
pc(ac,c).
pc(bb,o).
pc(bb,b).
pc(bc,b).
pc(bc,a).
pc(bc,c).
pc(cc,a).
pc(cc,b).
pc(cc,c).

f(X,Y):-f(X,A),pc(A,B),ck(Y,B).
===
next(tokyo,kanda).
next(kanda,akihabara).
link(X,Y):-next(X,Y).
link(X,Y):-next(X,Z),link(Z,Y).