#maxint = 1000. oldalak( 11, 1, 1 ). haromszog :- oldalak( A, B, C ), +(A, B, AB), AB > C, +(A, C, AC), AC > B, +(B, C, BC), BC > A. haromszog?