Сформировать по списку и числу подсписок исходного списка, начинающийся с элемента с указанным номером - Prolog

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

Сформировать по списку и числу,подсписок исходного списка, начинающийся с элемента с указанным номером!

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

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

domains
int=integer
intl=int*
 
predicates
sublist(intl,int,intl)
 
clauses
sublist(X,0,X).
sublist([_|T],N,R) :- N1=N-1, sublist(T,N1,R).

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

В данном коде представлена логическая программа на языке Prolog, которая реализует отношение подсписка для списков. В начале кода определены два домена:

int — целочисленный домен, представляющий собой множество целых чисел.
intl — домен, являющийся произвольным количеством аргументов типа int, т.е. int*, что означает, что intl — это список целых чисел. Далее определено отношение подсписка с тремя аргументами:
X — переменная, которая будет представлять подсписок.
N — номер элемента, начиная с которого необходимо сформировать подсписок.
R — результат, который будет представлять собой подсписок. В первом утверждении (clause) для случая, когда N=0, значение X повторяется, т.е. X является подсписком самого себя. Во втором утверждении (clause) реализован рекурсивный вызов для формирования подсписка. Для этого из списка T, начиная с элемента с номером N-1, выделяется подсписок, который присваивается переменной R. При этом значение N1 присваивается N-1. Таким образом, данный код позволяет сформировать подсписок исходного списка, начиная с элемента с указанным номером.