Prolog вывод результата

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

В общем есть такой код, но не знаю как правильно сформулировать запрос для вывода ответа. Это программа для вычисления декартова произведения множеств.

pair(_,[],[]).
pair(X,[H|T],[[X,H]|R]) :- pair(X,T,R).
 
app([],X,X).
app([A|T],X,[A|R]) :- app(T,X,R).
 
cart([],_,[]).
cart([A|T],B,R) :- pair(A,B,AB), cart(T,B,Z), app(AB,Z,R).

Решение задачи: «Prolog вывод результата»

textual
                            Листинг программы 
                        
                            goal
cart([1,2,3],[11,22,33],R),write(R),nl.