Triangles

Applying some mathematical theorems with prolog to define whether three sides can form a triangle and if so, is there a special trait for this triangle?

• Note that:

  • t denotes valid triangle
  • ot denotes orthogonal triangle
  • it denotes isosceles triangle
  • et denotes equilateral triangle