Предикат, проверяющий является ли 3-ий аргумент суммой двух предыдущих - Prolog

Формулировка задачи:

Здравствуйте! Очень нужна ваша помощь. Создать Предикат, проверяющий является ли 3-ий аргумент суммой двух предыдущих

Решение задачи: «Предикат, проверяющий является ли 3-ий аргумент суммой двух предыдущих»

Листинг программы

p(X, Y, Z) :- 
    Z is X + Y.

Объяснение кода листинга программы

Задача кода - проверить, является ли 3-ий аргумент суммой двух предыдущих.
Входные данные кода - X, Y, Z.
Выходные данные кода - нет, если Z не является суммой X и Y, иначе - да.
Код использует оператор is для присваивания значения переменной Z.
Если Z равно сумме X и Y, то код возвращает да, иначе - нет.
Предполагается, что X и Y уже имеют значения до вызова функции p.
Значение переменной Z не определено до вызова функции p.
Код не проверяет, являются ли X и Y суммой Z.
Код не проверяет, являются ли X и Y суммой друг друга.
Код проверяет только, является ли Z суммой X и Y.
Если X и Y равны 0, то Z будет равно 0, и код вернет да.
Если X равно 0 и Y не равно 0, то Z будет равно Y, и код вернет да.
Если X не равно 0 и Y равно 0, то Z будет равно X, и код вернет да.
Если X и Y не равны 0, то код вернет да, только если их сумма равна Z.
Если X и Y равны 0, то код вернет нет, потому что Z не может быть суммой двух нулей.
Если X равно 0 и Y не равно 0, то код вернет нет, потому что Z не может быть суммой нуля и другого числа.
Если X не равно 0 и Y равно 0, то код вернет нет, потому что Z не может быть суммой не нулевого числа и нуля.
Если X и Y не равны 0, то код вернет нет, если их сумма не равна Z.
Если X и Y равны 0, то код вернет нет, потому что Z не может быть суммой двух нулей.
Если X равно 0 и Y не равно 0, то код вернет нет, потому что Z не может быть суммой нуля и другого числа.