libro(1234,'data mining','hnk kamber pei','tercera edicion','c01').
libro(1234,'data mining','hnk kamber pei','tercera edicion','c02').
libro(1234,'data mining','hnk kamber pei','tercera edicion','c03').
libro(4321,'data mining', 'Ian H. Witten','third edition','c01').
libro(4321,'data mining', 'Ian H. Witten','third edition','c02').
libro(3214,'mecanica de fluidos', 'Witten newt','fourth edition','c01').
libro(3214,'mecanica de fluidos', 'Witten newt','fourth edition','c02').
libro(3214,'mecanica de fluidos', 'Witten newt','fourth edition','c03').
libro(3214,'mecanica de fluidos', 'Witten newt','fourth edition','c04').

escuela(1,'facultad de ingenieria electrica','edificio omega 1').
escuela(2,'facultad de ingenieria civil','edificio c').
escuela(3,'facultad de ingenieria mecanica','edificio k').

biblioteca(b01,'gral. lazaro cardenas',1).
biblioteca(b02,'josef ortiz de dominguez',2).
biblioteca(b03,'jose maria morelos y pavon',3).

usuario('8900317g','moises garcia villanueva','profesor','facultad de ingenieria electrica').
usuario('99000024','mario gomez villicania','profesor','facultad de ingenieria civil').

existencias(3214,b02,c04).
existencias(3214,b02,c03).
existencias(3214,b03,c02).
existencias(3214,b03,c01).
existencias(1234,b01,c01).
existencias(1234,b01,c02).
existencias(4321,b01,c01).
existencias(4321,b02,c02).
existencias(4321,b02,c03).

libros(X):-existencias(I,CB,NumCopia),biblioteca(CB,Nombre,CE),escuela(CE,X,U),nl,write(I),tab(5),write(NumCopia),nl,write(Nombre),nl,write(X).

biblioteca(X,Y):-libro(Y,_,_,X),escuela(X,U),write(U).

datosbiblioteca(Clave,Nombre,Escuela,U):-biblioteca(Clave,Nombre,X),escuela(X,Escuela,U).

prestado(Z,Y,X):-usuario(_,Y,_,Z),libro(X,_,_,Z).
