kupac(davor_gobac,zagreb,a).
kupac(davor_anic,varaždin,b).
kupac(davor_đurin,križevci,c).
kupac(davor_ščetarić,koprivnica,a).
kupac(davor_manić,osijek,c).

proizvod(0000,banana, 10).
proizvod(0001, jabuka, 2).
proizvod(0002, krafna, 20).
proizvod(0010, burek, 100).
proizvod(0011, salama, 15).
proizvod(0012, mlijeko, 14).
proizvod(0020, kruh, 3).
proizvod(0021, čokolada, 7).
proizvod(0022, sok, 12).
proizvod(0100, sladoled, 20).

stanje(0000, 15).
stanje(0001, 1).
stanje(0002, 25).
stanje(0010, 1).
stanje(0011, 10).
stanje(0012, 18).
stanje(0020, 40).
stanje(0021, 7).
stanje(0022, 3).
stanje(0100, 20).
artikl(A,B):- proizvod(D,A,E),stanje(D,B).
inventar:- artikl(A,B),write(A),write(" ima "), write(B), nl, fail.