How can I print a statement if a given prolog predicate returns true or false.
statement(X,Y) = true -> write("The statement is true").
