a(X) :- X.
b(X) :- X, writeln(X).
c(X) :- X, X.