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