Решение численных уравнений на языке программирования Пролог.

В лабораторной работе N1 разрабатывается программа на языке Prolog, которая находит корень линейного уравнения ax+b=0. Рассматриваются случаи, когда уравнение имеет один корень, когда оно не имеет корней (a=0, b!=0) и когда оно имеет бесконечно много корней (a=0, b=0). Во всех трёх случаях на экран выводится соответствующее сообщение — а также численное значение корня, если он единственный.
В лабораторной работе N2 разрабатывается программа на языке Prolog, которая находит корни квадратного уравнения ax^2+bx+c=0. Программа находит корни как в том случае, когда они действительные — так и в том случае, когда они комплексные. Кроме того, программа корректно решает заданное уравнение и в тех случаях, когда оно оказывается неполным - или когда задаётся вырожденное уравнение (т. е. фактически линейное — когда a=0). Для удобства обработки корней уравнения в программе вводится специальный тип данных.
В лабораторной работе N3 требуется дополнить разработанную во второй лабораторной программу таким образом, чтобы она выполняла не только решение уравнения, но и их проверку. Для начала в ходе работы разрабатывается программа, которая для заданного квадратного трёхчлена ax^2+bx+c=0 и переменной x=x_знач рассматривает, является ли x_знач корнем трёхчлена — и выдаёт соответствующее сообщение. Затем, первая программа, разработанная в этой лабораторной работе, используется, чтобы дополнить программу решения квадратного уравнения — добавив в неё проверку найденных корней. Проверка выполняется только для того случая, когда уравнение имеет один или два действительных корня.

Во всех программах ввод коэффициентов уравнений осуществляется с клавиатуры.

Формат отчётов — Open Document Text/PDF.
Сами программы на языке Prolog прилагаются