cubos - IA

%COLUMNA_1
derecha(a,b).
diagonal-derecho(a,c).

%COLUMNA_2
izquierda(b,a).
sobre(b,c).
derecha(b,d).
diagonal-derecho(b,e).

derecha(c,e).
diagonal-derecho(c,f).
diagonal-izquierdo-inf(c,a).
diagonal-derecho-inf(c,d)
bajo(c,b).

%COLUMNA_3
izquierda(d,b).
sobre(d,e).
derecha(d,h).
diagonal-derecho(d,i).
diagonal-izquierdo(d,c).

bajo(e,d).
sobre(e,f).
izquierda(e,c).
derecha(e,i).
diagonal-derecho(e,j).
diagonal-derecho-inf(e,h).
diagonal-izquierdo-inf(e,b).

bajo(f,e).
sobre(f,g).
derecha(f,j).
diagonal-derecho(f,k).
diagonal-izquierdo-inf(f,c).
diagonal-derecho-inf(f,i).

bajo(g,f).
derecha(g,k).
diagonal-derecho(g,l).
diagonal-derecho-inf(g,j).

%COLUMNA_4
izquierda(h,d).
derecha(h,n).
sobre(h,i).
diagonal-derecho(h,o).
diagonal-izquierdo(h,e).

izquierda(i,e).
derecha(i,o).
bajo(i,h).
sobre(i,j).
diagonal-izquierdo(i,f).
diagonal-derecho(i,s).
diagonal-izquierdo-inf(i,d).
diagonal-derecho-inf(i,n).

izquierda(j,f).
derecha(j,r).
bajo(j,i).
sobre(j,k).
diagonal-izquierdo(j,g).
diagonal-derecho-inf(j,o).
diagonal-izquierdo-inf(j,e).

izquierda(k,g).
derecha(k,s).
bajo(k,j).
sobre(k,l).
diagonal-izquierdo-inf(k,f).
diagonal-derecho-inf(k,q).

bajo(l,k).
sobre(l,m).
diagonal-izquierdo-inf(l,g).
diagonal-derecho-inf(l,r).

bajo(m,l).
diagonal-derecho-inf(m,s).

%COLUMNA_5
izquierda(n,h).
derecha(n,p).
sobre(n,o).
diagonal-derecho(n,q).
diagonal-izquierdo(n,i).

izquierda(o,i).
derecha(o,q).
bajo(o,n).
diagonal-izquierdo(o,j).
diagonal-derecho(o,r).
diagonal-izquierdo-inf(o,h).
diagonal-derecho-inf(o,p).

%COLUMNA_6
izquierda(p,n).
derecha(p,u).
sobre(p,q).
diagonal-izquierdo(p,o).
diagonal-derecho(p,v).

izquierda(q,o).
derecha(q,v).
sobre(q,r).
bajo(q,p).
diagonal-izquierdo(q,k).
diagonal-izquierdo-inf(q,n).
diagonal-derecho-inf(q,u).

sobre(r,s).
bajo(r,q).
izquierda(r,j).
diagonal-izquierdo(r,l).
diagonal-izquierdo-inf(r,o).
diagonal-derecho-inf(r,v).

bajo(s,r).
diagonal-izquierdo(s,m).
diagonal-izquierdo-inf(s,i).

%COLUMNA_7
izquierda(u,p).
sobre(u,v).
diagonal-izquierdo(u,q).

izquierda(v,q).
bajo(v,u).
diagonal-izquierdo(v,r).
diagonal-izquierdo-inf(v,p).


%REGLAS
sobre_r(X,Y) :- sobre(X,Y).
sobre_r(X,Y) :- sobre(X,Z),sobre_r(Z,Y).

bajo_r(X,Y) :- bajo(X,Y).
bajo_r(X,Y) :- bajo(X,Z),bajo_r(Z,Y).

derecha_r(X,Y) :- derecha(X,Y).
derecha_r(X,Y) :- derecha(X,Z),derecha_r(Z,Y).

izquierda_r(X,Y) :- izquierda(X,Y).
izquierda_r(X,Y) :- izquierda(X,Z),izquierda_r(Z,Y).

diagonal-izquierdo_r(X,Y) :- diagonal-izquierdo(X,Y).
diagonal-izquierdo_r(X,Y) :- diagonal-izquierdo(X,Z),diagonal-izquierdo_r(Z,Y).

diagonal-izquierdo-inf_r(X,Y) :- diagonal-izquierdo-inf(X,Y).
diagonal-izquierdo-inf_r(X,Y) :- diagonal-izquierdo-inf(X,Z),diagonal-izquierdo-inf_r(Z,Y).

diagonal-derecho_r(X,Y) :- diagonal-derecho(X,Y).
diagonal-derecho_r(X,Y) :- diagonal-derecho(X,Z),diagonal-derecho_r(Z,Y).

diagonal-derecho-inf_r(X,Y) :- diagonal-derecho-inf(X,Y).
diagonal-derecho-inf_r(X,Y) :- diagonal-derecho-inf(X,Z),diagonal-derecho-inf_r(Z,Y).