Ответ в теме: Составить треугольник из трех отрезков на Prolog

      Комментарии к записи Ответ в теме: Составить треугольник из трех отрезков на Prolog отключены
#2120

Из трех прямых можно составить треугольник если каждая из них меньше суммы остальных. Кроме того, нужно учесть, что длина не может быть отрицательной (функция is_length).

is_length(Length):-
  Length > 0.

compose_triangle_from_lines(A, B, C):-
  is_length(A), is_length(B), is_length(C),
  A < B+C,B < C+A,C < A+B.