Синтаксис пролога немного необычен: вы не можете написать * some_term () *, то есть список аргументов не может быть пустым. Напишите ваш параметр без процедуры без скобок:
write_to_screen :-
write("Hello World").
Обратите внимание, что вам нужно изменить коды кавычек с двойных на одинарные: двойные кавычки - это сокращение для списка символов: т.е.
?- write("Hello World").
[72,101,108,108,111,32,87,111,114,108,100]
пока
?- write('Hello World').
Hello World