:-dynamic resenja/1.
:-dynamic mat/4,vrste/1,kolone/1.

mat(1, 1, op(+, 5)).
mat(1, 2, op(*, 3)).
mat(1, 3, op(-, 7)).
mat(1, 4, op(*, -1)).
mat(2, 1, op(-, -3)).
mat(2, 2, op(*, 10)).
mat(2, 3, op(*, 3)).
mat(2, 4, op(*, -2)).
mat(3, 1, op(*, 10)).
mat(3, 2, op(*, 3)).
mat(3, 3, op(*, 2)).
mat(3, 4, op(*, -1)).
vrste(3).
kolone(4).

izmedju(X,X,Z):-X=<Z.
izmedju(X,Y,Z):- Y1 is Y+1, Y1 =< Z,izmedju(X,Y1,Z).

unos(M,N):- izmedju(I,1,M),izmedju(J,1,N), write('Unesi element na poziciji '),write(I),write(' '),write(J),nl,read(Op),assertz(mat(I,J,Op)),fail.
unos(_,_).

formTablu:-retractall(mat(_,_,_)),retractall(vrste(_)),retractall(kolone(_)),retractall(resenja(_)),assert(resenja([])),write('Unesi dimenzije matrice '),read(M),read(N),
	assert(vrste(M)),assert(kolone(N)),
	write('Unesi elemente matrice '),nl
	,write('Elementi matrice su operacije u obliku op(znak_operacije, argument)'),nl
	,unos(M,N),listing(mat).

resenja([]).

izracunaj(op(*,Br),S,S1):- S1 is Br*S.
izracunaj(op(+,Br),S,S1):- S1 is Br+S.
izracunaj(op(-,Br),S,S1):- S1 is S-Br.

nadji(V,K,S,R,[mat(V,K,O)]):-vrste(V),kolone(K),mat(V,K,O),izracunaj(O,S,R).
nadji(V,K,S,R,[mat(V,K,O)|L]):-mat(V,K,O),izracunaj(O,S,Rez),V1 is V+1,vrste(VM),V1=<VM,nadji(V1,K,Rez,R,L).
nadji(V,K,S,R,[mat(V,K,O)|L]):-mat(V,K,O),izracunaj(O,S,Rez),K1 is K+1,kolone(KM),K1=<KM,nadji(V,K1,Rez,R,L).

nadjiSve :- nadji(1,1,0,X,_),resenja(T),retract(resenja(T)),append([X],T,T1),assert(resenja(T1)),fail.
nadjiSve:-resenja(X),write(X).

min(X,[],X).
min(X,[Y|Rep],M):-X=<Y,min(X,Rep,M).
min(X,[Y|Rep],M):-X>Y,min(Y,Rep,M).

minListe([X|Rep],M):-min(X,Rep,M).

nadjiMinimalno :- resenja(L),minListe(L,M),write('Min put ima sumu '),write(M),nl,nadji(1,1,0,M,X),write(X).