Операции над векторами - Prolog

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

Здравствуйте! Помогите, пожалуйста, решить задачу: Даны 2 вектора. Необходимо сравнить их длину, если они равны, то посчитать их сумму, разность и скалярное произведение.

Решение задачи: «Операции над векторами»

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

domains
int=integer
intl=int*
 
predicates
sum_vec(intl,intl,intl)
dif_vec(intl,intl,intl)
sca_pro(intl,intl,int)
 
clauses
sum_vec([],[],[]) :- !.
sum_vec([V1|T1],[V2|T2],[V|T3]) :- V=V1+V2, sum_vec(T1,T2,T3).
 
dif_vec([],[],[]) :- !.
dif_vec([V1|T1],[V2|T2],[V|T3]) :- V=V1-V2, dif_vec(T1,T2,T3).
 
sca_pro([X1],[X2],S) :- S=X1*X2, !.
sca_pro([V1|T1],[V2|T2],S) :- sca_pro(T1,T2,S1), S=S1+V1*V2.

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

В данном коде используется язык программирования Prolog.
Задача заключается в выполнении операций над векторами.
В начале кода определены три функции: sum_vec, dif_vec, sca_pro.
Функция sum_vec принимает три аргумента типа intl (это вектор целых чисел).
Функция dif_vec также принимает три аргумента типа intl.
Функция sca_pro принимает три аргумента: два вектора типа intl и одно число типа int.
В функции sum_vec реализован рекурсивный алгоритм сложения векторов.
В функции dif_vec реализован рекурсивный алгоритм вычитания векторов.
В функции sca_pro реализован алгоритм умножения числа на вектор.
В функции sca_pro используется рекурсия для обработки векторов внутри.
В каждой функции предусмотрены базовые случаи для остановки рекурсии.
В каждой функции используется ключевое слово ! для прекращения поиска в момент нахождения ответа.
В каждой функции используется нотация «=» для присваивания результатов вычислений переменным.
В каждой функции используется нотация «|» для разделения входных данных на векторы и числа.
В каждой функции используется нотация «[]» для обозначения пустого вектора.
В каждой функции используется нотация «*» для обозначения умножения.
В каждой функции используется нотация «+» для обозначения сложения.
В каждой функции используется нотация «-» для обозначения вычитания.
В каждой функции используется нотация «<|>» для разделения входных данных на список и хвост списка.
В каждой функции используется нотация «{}» для обозначения результата выполнения функции.