hello_world :- write('Hello World!').