diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index 6bece860..d8f8e8fb 100644
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -127,6 +127,8 @@ instruction_match(Term, VarList) :-
 		                   print_exception_with_check(E))
                      )
     ;
+    Term = end_of_file -> halt
+    ;
     submit_query_and_print_results(Term, VarList)
     ).