% ?-turukame(T,K,14,5).
% T = 3
% K = 2
% yes

:- dlib_require(clp).

turukame(Turu,Kame,Foot,Head):-
	Turu in 0..Head,
 	Kame in 0..Head,
	Foot #= Turu*2+Kame*4, 
	Head #= Turu+Kame.

%	labeling([Turu,Kame]).  % if cannot get answer add this at end of clause
