а (1,1).а (1,3).а (1,5).а (2,3).а (2,1).а (2,5).а (3,5).а (3,7).а (3,1).a (3,6).
как получить b (X, Y), такой X должен быть в (X, Y) и не должен повторять его сам, а y должен быть в (X, Y) и может быть повторен.
Другими словами, X не может быть назначен нескольким Y, но Y может быть назначен множественным X
Я пытаюсь обойти нижеследующую логику
{b (Cid, N1..N2)} == 1: - a (Cid, _), N1 = #min {X: a (_, X)}, N2 = #max {X: a (_, X)}.
, но это диапазон для Y и не ограничивается значениями в для Y