:- use_module(library(clpfd)). 


haromszog(A,B,C) :- A #>=0, B #>= 0, C #>= 0,  
			 A + B #>= C, A + C #>= B, B + C #>= A.


/*

Próbálja ki pl. a 

?- haromszog(3,4,C). 

célt. 

Majd próbálja ki ugyanezt nem korlátlogika esetén, vagyis ekkor:

haromszog(A,B,C) :- A >=0, B >= 0, C >= 0,
			 A + B >= C, A + C >= B, B + C >= A.

*/