#side = \{a_s1, a_s2, a_s3, b_s1, b_s2, b_s3\}.\ #angle = \{a_a1, a_a2, a_a3, b_a1, b_a2, b_a3\}.\ predicates\ %angle_of_triangle(X, Y) denotes that one angle of ...

There are two ways to construct a triangle using a ruler and a protractor. The first is a Side, Angle, Side (SAS) construction where two sides and the angle between them is known. The second is an ...