2 Задачи по SWI-PROLOG

Задание №1: Написать предикат вычисления произведения числа e (экспоненты) на произвольное число (без использования операции умножения и встроенных функций).

Вот условие: 1. Необходимо составить на SWI-Prolog единый статический рекурсивный предикат с двумя аргументами для:

– вычисления указанной в индивидуальном задании рекурсивной функции при указании в качестве аргумента конкретного значения, а в качестве результата – свободной переменной;

– проверки соответствия указанного в качестве результата конкретного значения результату вычисления функции при указанном в качестве аргумента конкретном значении;

– при наличии обратной функции – вычисления обратной функции при указании в качестве указании в качестве аргумент свободной переменной, а в качестве результата – значения, соответствующего аргументу обратной функции.

2. Необходимо продемонстрировать корректную работу предикатов на примерах, соответствующих очевидно истинным, очевидно ложным значениям, граничным значениям, а также корректность и конечность работы предикатов, если один из аргументов является свободной переменной. (Пара скринов)

Задание №2 Первый аргумент – произвольный список, второй аргумент – список, соответствующий только четным по порядку встречи в первом списке элементам с сохранением относительного порядка.

1. Необходимо составить на SWI-Prolog статический предикат с двумя аргументами без использования стандартных предикатов (допускается составление собственных вспомогательных предикатов), который будет истинен, если верно условие из индивидуального варианта задания, и подготовить из разработанных предикатов подгружаемую базу знаний для системы SWI-Prolog.

2. Необходимо продемонстрировать корректную работу предикатов на примерах, соответствующих очевидно истинным, очевидно ложным значениям, граничным значениям, а также корректность и конечность работы предикатов, если один из аргументов является свободной переменной. (Можно Скринами)