:- dynamic d/1.

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