halt on Ctrl-D in toplevel (#473)

2020-05-09 15:04:30 -06:00
parent b0ae44bc25
commit 5587957602
1 changed files with 2 additions and 0 deletions
--- 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)
    ).