Логическое программирование. Рекурсия в языке Пролог (SWI-Prolog).

Первая часть задачи - рекурсивные утверждения в Прологе, а именно: Найти действительный корень функции на заданном интервале. Использовать метод хорд.

Вторая часть задачи - рекурсивные термы, а именно: Написать программу для вычисления определенного интеграла таблично заданной функции по методу прямоугольников.

К заданию прикрепляю пример программы на прологе - факториал как рекурсивное утверждение.