Tek-Tips is the largest IT community on the Internet today!
Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!
-
Congratulations Mike Lewis on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!
-
Prolog looping due to interdependency
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)...
