s(1).
s(2).
s(3).

:- dynamic(d/1).

d(1).
d(2).
d(3).