From 558795760245195670dcd0266b55e5518f301921 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 9 May 2020 15:04:30 -0600 Subject: [PATCH] halt on Ctrl-D in toplevel (#473) --- src/prolog/toplevel.pl | 2 ++ 1 file changed, 2 insertions(+) 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) ). -- 2.54.0