test.lp 67 Bytes
Newer Older
1 2 3 4 5 6 7


obj(X):- rel(X,_).
nbobj(N):- N={obj(_)}.

#show.
#show nbobj/1.