f(1,a). % clause 1 f(2,b). % clause 2 f(X,X). % clause 3 f(X,d). % clause 4 f(3,e). % clause 5 f(4,f). % clause 6