базы данных на Arity Prolog

[987Alexe4ik]

Дана матрица инцидентности графа.Сформировать раздел БД так, чтобы каждой вершине графа соответствовал свой терм БД, являющийся списком ссылочных номеров термов, соответствующих тем вершинам графа, которые инцидентны данной вершине графа.
должно получаться:
?- 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 ->
вроде как составил БД
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)
а что сделать, чтобы она заработала не знаю?
какие шаги сделать...