Двунаправленный список однонаправленных упорядоченных подсписков

type
   odnosvyazniy_spisok=^spisok_os; // структура односвязного списка (в задаче идет как подсписок к двусвязному)
   spisok_os = record
   next:odnosvyazniy_spisok; // ссылка на следующий эл-т односвязного списка (на предыдущий нет, ибо односвязный)
   data:[тип данных односвязного списка]; // данные хранящиеся в ячейке списка
   end;
   
   dvuh_svyazniy_spisok=^spisok_ds; // структура основного двусвязного списка.
   spisok_ds = record
   next,prev:dvug_svyazniy_spisok;   // ссылки на следующий и предыдущий элемент двусвязного списка (оттого и двусвязный)
   begg:odnosvyazniy_spisok; // ссылка на первый элемент односвязного подсписка.
   end;

data:[тип данных односвязного списка];

 
Procedure proizvedenie; 
var  
 i,n: integer;  
 proiz: real;  
begin  
 clrscr;  
 proiz:=1;  
 write('Vvedite N: ');  
 readln(n);  
 for i:=1 to n do  
 proiz:=proiz*i;  
 writeln('Proizvedenie=',proiz);  
 readkey;  
end.

S^.data //где S - указатель вашего списка, а data - данные хранящиеся в данном элементе списка

S^.next = null// почему next ?? - смотри описание структуры постом выше

var P: real;
//....... 
P:=1 // присваиваем произведению 1 чтоб при перемножении на первый эл-т списка получился тот же ел-т.
repeat // начало цикла
P:=P*S^.data; // здесь считается произведение
S:=S^.next; // здесь S, указатель на эл-т списка, переходит к следующему элементу.
until S=null; // когда он станет равным nill - не существующий элемент, т.е. выйдет за пределы списка - цикл остановится.

S:=S^.next;