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

Вот пример кода программы поиска с возвратом на языке пролог!

domains
ilist=integer*
 
predicates
nondeterm for(integer,integer,integer).
nondeterm next(ilist,ilist).
nondeterm solve(ilist).
 
clauses
for(A,A,_).
for(I,A,B):-A<B,A1=A+1,for(I,A1,B).
 
next([],[X]):-for(X,1,7).
next([H|L],[X,H|L]):-H1=H+2,H1<10,for(X,H1,10).
 
solve(L4):-next([],L1),next(L1,L2),next(L2,L3),next(L3,L4), not(L4=[10,_,_,1]).
 
goal
solve(L).
 Вот Задние из этой сылки file:///C:/Documents%20and%20Settings/Администратор/Рабочий%20стол/Задание.JPG

Это сообщение отредактировал(а) Victorials2648 - 4.3.2014, 01:23

Присоединённый файл ( Кол-во скачиваний: 1 )
 Задание.JPG 5,68 Kb

Во-первых, где тут "два выражения"? Во-вторых, какое отношение поиск с возвратом имеет к данной задаче (если это можно, конечно, обозвать столь громким словом)?