halt on Ctrl-D in toplevel (#473)

diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index 6bece8605b9ffd30226bfe7e0ff6df0370cb0ed9..d8f8e8fb664ab7902b40b33cb21b25478aeca72e 100644 (file)
--- 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)
     ).