Здраствуйте, думаю над этой задачей уже 2 недели, помогите пожалуйста разобраться!!!

Дана матрица инцидентности графа.Сформировать раздел БД так, чтобы каждой вершине графа соответствовал свой терм БД, являющийся списком ссылочных номеров термов, соответствующих тем вершинам графа, которые инцидентны данной вершине графа. 
Аргументы: матрица инцидентности;
                    имя раздела БД.

?- pred([[1,0,0,1],[1,1,0,0],[0,1,1,0],[0,0,1,1]],m).
yes
?- recorded(m,X,R).
X = [~402F0A,~402F32]
R = ~402F14 -> ;
X = [~402F14,~402F5E]
R = ~402F0A -> ;
X = [~402F0A,~402F32]
R = ~402F5E -> ;
X = [~402F14,~402F5E]
R = ~402F32 -> ;
no
?-
как я понял бд будет выглядеть так:
 recorded(x,[1,0,0,1],R).
 recorded(x,[1,1,0,0],R).
 recorded(x,[0,1,1,0],R).
 recorded(x,[0,0,1,1],R).
а что необходимо сделать, чтобы она заработала?
Заранее благодарен))