correct both ?- halt. and ?- end_of_file. Also alias ^D