Have to write some prolog rules to represent the geometrical properties about isosceles triangle.
First rule is to say
angleEqual(angle(A,B,C),angle(A,C,B)):-
triangle(A,B,C),
lineEqual(line(A,B),line(A,C)).
Second rule says
lineEqual(line(A,B),line(A,C)):-
triangle(A,B,C)...