:-consult(query). :- consult(subtotal). navstivil(1, fero, slovak). navstivil(2, fero, koliba). vypil(1, pivo, 1). vypil(1, rum, 1). vypil(2, pivo, 6). answer(K, C) :- subtotal(nv(K, A), [K], [C = count(A)]). nv(K, A) :- navstivil(I, _, K), vypil(I, A, _).