?- write('Hello world!'), nl.
Hello world!
true.
 
?-