3rd year logic programming task: Applying some basic mathematical theorems with prolog.
Prolog
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?